2008-03-31 Jan Beulich * config/ia64/constraints.md: Add 'j' constraint. * config/ia64/ia64.md (movsi_internal): Add addp4 case. (movdi_internal): Likewise. 2008-03-30 Volker Reichelt PR c/35748 * c-typeck.c (build_c_cast): Skip invalid fields in unions. 2008-03-30 H.J. Lu PR target/35757 * config/i386/i386.c (ix86_expand_sse_4_operands_builtin): Issue proper error message for the third argument on blendpd and blendps. * config/i386/sse.md (blendbits): New. (sse4_1_blendp): Use it. 2008-03-30 Eric Botcazou * fold-const.c (fold_binary) : Add missing conversions. 2008-03-30 Richard Guenther PR middle-end/31023 * fold-const.c (fold_sign_changed_comparison): Do leave conversions to base-types alone. 2008-03-29 Andrew Pinski * config/rs6000/rs6000.c (rs6000_stack_info): Don't force saving of the link register if one altivec register is be saved. 2008-03-30 Ben Elliston * final.c (final_scan_insn): Remove if (0) code. 2008-03-28 Volker Reichelt * c-parser.c (c_parser_next_token_is_keyword): Simplify. 2008-03-28 H.J. Lu * config/i386/sse.md (*and3): Pass mode instead of V4SFmode to ix86_binary_operator_ok. 2008-03-28 Uros Bizjak * config/i386/i386.c (override_options): Initialize ix86_veclib_handler to ix86_veclibabi_svml when -mveclibabi=svml is used. (ix86_veclibabi_svml): New function for SVML ABI style vectorization support. * doc/invoke.texi (-mveclibabi) [svml]: Document new target option. 2008-03-28 Rafael Espindola * fold-const.c (tree_unary_nonnegative_warnv_p): Make it public. (tree_binary_nonnegative_warnv_p): Make it public. (tree_single_nonnegative_warnv_p): Make it public. (tree_invalid_nonnegative_warnv_p): Make it public. (tree_unary_nonzero_warnv_p): Make it public. (tree_binary_nonzero_warnv_p): Make it public (tree_single_nonzero_warnv_p): Make it public. * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops): New function. (extract_range_from_binary_expr): Split the expr argument. (extract_range_from_unary_expr): Split the expr argument. (extract_range_from_comparison): Split the expr argument. (extract_range_from_expr): Use the new aux functions. (vrp_evaluate_conditional_warnv): Use vrp_evaluate_conditional_warnv_with_ops. * tree.h (tree_unary_nonzero_warnv_p): Declare. (tree_binary_nonzero_warnv_p): Declare. (tree_single_nonzero_warnv_p): Declare. (tree_expr_nonzero_warnv_p): Declare. (tree_unary_nonnegative_warnv_p): Declare. (tree_binary_nonnegative_warnv_p): Declare. (tree_single_nonnegative_warnv_p): Declare. (tree_invalid_nonnegative_warnv_p): Declare. 2008-03-28 Richard Guenther PR tree-optimization/30317 PR tree-optimization/30911 PR tree-optimization/34793 * tree-vrp.c (set_and_canonicalize_value_range): New function. (struct assert_locus_d): New member EXPR. (register_new_assert_for): Add EXPR parameter to support ASSERT_EXPR . (register_edge_assert_for_1): Adjust callers. (find_assert_locations): Likewise. (process_assert_insertions_for): Build condition from expression. (extract_range_from_assert): Handle ASSERT_EXPRs of the form ASSERT_EXPR . (register_edge_assert_for_2): New helper registering asserts for comparisons. Recognize range tests of the form (unsigned)i - CST1 OP CST2. (register_edge_assert_for_1): Use it. (register_edge_assert_for): Likewise. (needs_overflow_infinity): Integer sub-types do not need overflow infinities. (vrp_val_is_max): The extreme values of integer sub-types are those of the base type. (vrp_val_is_min): Likewise. * tree.def (ASSERT_EXPR): Document extra allowed conditional expressions. 2008-03-28 Nick Clifton * config/mn10300/mn10300.c (mn10300_secondary_reload_class): Return GENERAL_REGS for stack adjustment reloads. 2008-03-28 Andrew Pinski PR target/31334 * config/rs6000/rs6000.c (rs6000_expand_vector_init): Create a const_vector when all the vectors are constant. 2008-03-27 Bob Wilson * config/xtensa/xtensa.c (gen_float_relational): Handle unordered comparisons. * config/xtensa/xtensa.md (any_cond): Add unordered comparisons. (any_scc_sf): Add uneq, unlt, unle and unordered operators. (scc_sf): New. (s_sf): Use new scc_sf attribute for opcode names. 2008-03-27 Tom Tromey * doc/sourcebuild.texi, doc/install.texi, configure, aclocal.m4, configure.ac, Makefile.in, config/t-darwin, config/m32c/t-m32c, config/spu/t-spu-elf, config/i386/t-interix, config/i386/t-cygming, config/i386/x-i386, config/i386/t-cygwin, config/i386/x-darwin, config/i386/x-mingw32, config/i386/t-netware, config/i386/x-cygwin, config/i386/t-nwld, config/sh/t-sh, config/sh/t-symbian, config/x-linux, config/t-sol2, config/x-hpux, config/x-darwin, config/ia64/t-ia64, config/x-solaris, config/t-vxworks, config/m68k/t-uclinux, config/rs6000/x-rs6000, config/rs6000/x-darwin64, config/rs6000/x-darwin, config/rs6000/t-rs6000, config/score/t-score-elf, config/arm/t-strongarm-pe, config/arm/t-pe, config/arm/t-arm, config/arm/t-wince-pe, config/v850/t-v850, config/v850/t-v850e, config/bfin/t-bfin-linux: Revert automatic dependency patch. 2008-03-27 H.J. Lu PR target/35657 * config/i386/i386.c (ix86_function_arg_boundary): Align decimal floating point to its natural boundary. 2008-03-27 Richard Guenther PR middle-end/35716 * fold-const.c (fold_comparison): Restrict distinct decl comparison folding to VAR_DECLs and PARM_DECLs. Do not solely rely on operand_equal_p. 2008-03-27 Richard Guenther PR c/32511 * c-common.c (handle_weak_attribute): Reject combination of weak and inline. 2008-03-27 Richard Guenther PR tree-optimization/32810 * tree-ssa-ccp.c (get_symbol_constant_value): Strip useless conversions from DECL_INITIAL. (fold_const_aggregate_ref): Likewise from constructor elements. 2008-03-27 Zdenek Dvorak * tree-affine.h (aff_combination_expand): Declare. (get_inner_reference_aff): Likewise. * tree-affine.c (aff_combination_expand): Split out from tree_to_aff_combination_expand. (get_inner_reference_aff): New function. * tree-parloops.c (loop_parallel_p): Free vectorizer info. * tree-ssa-loop-im.c: Include tree-affine.h and pointer-set.h. (struct lim_aux_data): sm_done field removed. (mem_ref_loc_p, mem_ref_locs_p): New types. (struct mem_ref): Added id, stored, accesses_in_loop, indep_loop, dep_loop, indep_ref, dep_ref fields. Removed is_stored, locs and next fields. (memory_accesses): New variable. (movement_possibility): Do not allow moving statements that store to memory. (outermost_indep_loop, simple_mem_ref_in_stmt, mem_ref_in_stmt): New functions. (determine_max_movement): For statements with memory references, find the outermost loop in that the reference is independent. (move_computations_stmt): Mark the virtual operands for renaming. (memref_free, mem_ref_alloc, mem_ref_locs_alloc, mark_ref_stored, gather_mem_refs_stmt, gather_mem_refs_in_loops, vtoe_hash, vtoe_eq, vtoe_free, record_vop_access, get_vop_accesses, get_vop_stores, add_vop_ref_mapping, create_vop_ref_mapping_loop, create_vop_ref_mapping, analyze_memory_references, cannot_overlap_p, mem_refs_may_alias_p, rewrite_mem_ref_loc, get_all_locs_in_loop, ref_always_accessed_p, refs_independent_p, record_indep_loop, ref_indep_loop_p_1, ref_indep_loop_p, can_sm_ref_p, find_refs_for_sm, store_motion_loop, store_motion): New functions. (struct vop_to_refs_elt): New type. (record_mem_ref_loc, free_mem_ref_locs, rewrite_mem_refs, memref_hash, memref_eq, hoist_memory_references): Rewritten. (schedule_sm): Replaced by... (execute_sm): ... this. (determine_lsm_ref, hoist_memory_references, loop_suitable_for_sm, gather_mem_refs_stmt, gather_mem_refs, find_more_ref_vops, free_mem_ref, free_mem_refs, determine_lsm_loop, determine_lsm): Removed. (tree_ssa_lim_finalize): Free data structures used by store motion. (tree_ssa_lim): Call analyze_memory_references. Use store_motion instead of determine_lsm. 2008-03-27 Paolo Bonzini * config.cc (m68hc11, m6811, m68hc12, m6812): Add usegas.h, rename tmake_file to m68hc11/t-m68hc11. (mcore): Set inhibit_libc to true. * config.host (alpha*-dec-*vms*): Set extra_programs. (interix3*): Don't use host_xmake_file. * configure.ac: Let config.gcc override inhibit_libc. * configure: Regenerate. * config/alpha/x-vms (EXTRA_PROGRAMS): Remove. * config/t-openbsd-thread: Remove commented out lines. * config/x-interix: Remove. * config/m68hc11/t-m68hc11-gas: Rename to... * config/m68hc11/t-m68hc11: ... this. Remove T_CPPFLAGS. * config/mcore/t-mcore: Remove T_CFLAGS. * config/mcore/t-mcore-pe: Likewise. 2008-03-27 Paolo Bonzini * configure.ac: Replace custom __GNU_SOURCE test with AC_USE_SYSTEM_EXTENSIONS. Move it earlier. * aclocal.m4: Regenerate. * configure: Regenerate. * config.in: Regenerate. 2008-03-27 Richard Guenther * fold-const.c (target.h): Include. (fold_comparison): Fold comparison of addresses of decls that bind locally or of constants. Consolidate address folding code. * tree-vrp.c (operand_less_p): Deal with non-INTEGER_CST results from fold_binary_to_constant. (compare_values_warnv): Likewise. 2008-03-27 Andrew Pinski PR middle-end/35429 * fold-const.c (fold_truthop): Check for integeral types when folding a == 0 && b == 0 and a != 0 || b != 0 . 2008-03-26 Eric Botcazou * tree.c (get_unwidened): Remove code fiddling with COMPONENT_REF. 2008-03-26 Andreas Schwab * doc/invoke.texi: Fix use of @item vs. @itemx. 2008-03-26 Tom Tromey * Makefile.in (build/gensupport.o, build/print-rtl.o, build/read-rtl.o, build/rtl.o, build/gencondmd.o, build/genattr.o, build/genattrtab.o, build/genautomata.o, build/gencheck.o, build/gencodes.o, build/genconditions.o, build/genconfig.o, build/genconstants.o, build/genemit.o, build/genextract.o, build/genflags.o, build/genmddeps.o, build/genopinit.o, build/genoutput.o, build/genpeep.o, build/genrecog.o): Depend on options.h. 2008-03-26 Richard Guenther Revert 2008-03-26 Richard Guenther * fold-const.c (target.h): Include. (fold_comparison): Fold comparison of addresses of two decls that bind locally. Consolidate address folding code. 2008-03-26 Kaveh R. Ghazi * builtins.c (expand_builtin_pow, fold_builtin_cabs, fold_builtin_sqrt, fold_builtin_cbrt, fold_builtin_logarithm, fold_builtin_hypot, fold_builtin_pow): Remove uses of dconst3, dconstsqrt2, dconstthird, dconste and/or dconst10. * config/i386/i386.c (ix86_emit_swsqrtsf): Likewise. * emit-rtl.c (dconst3, dconst10, dconstm2, dconstthird, dconstsqrt2, dconste): Delete. (init_emit_once): Likewise. Simplify initializing dconstm1. Constify variable. * real.c (get_real_const): New. * real.h (dconst3, dconst10, dconstm2, dconstthird, dconstsqrt2, dconste): Delete. (real_value_const, get_real_const): New. 2008-03-26 H.J. Lu * config/i386/cygming.h (BIGGEST_ALIGNMENT): Removed. * config/i386/i386.c (ix86_function_arg_boundary): Check BIGGEST_ALIGNMENT instead of 128. (setup_incoming_varargs_64): Likewise. 2008-03-26 Tom Tromey * Makefile.in (DEPFILES): Add missing '/'. 2008-03-26 Richard Guenther * fold-const.c (target.h): Include. (fold_comparison): Fold comparison of addresses of two decls that bind locally. Consolidate address folding code. 2008-03-26 Nick Clifton PR target/31232 * config/stormy16/stormy16.c (xstormy16_legitimate_address_p): Do not allow INT+INT as a legitimate addressing mode. 2008-03-26 Richard Guenther * tree-flow.h (widen_bitfield): Remove declaration. * tree-ssa-ccp.c (visit_assignment): Remove unneeded code. (widen_bitfield): Remove function. * tree-ssa-dom.c (record_equivalences_from_stmt): Remove unneeded code. 2008-03-25 Andrew Pinski PR target/31558 * config/rs6000/rs6000-c.c (rs6000_builtin_type_compatible): Handle error_mark_node's. 2008-03-25 Richard Sandiford PR rtl-optimization/35232 * reload1.c (reg_reloaded_call_part_clobbered): Clarify comment. (forget_old_reloads_1, forget_marked_reloads): Don't clear reg_reloaded_call_part_clobbered here. (reload_regs_reach_end_p): New function. (reload_reg_rtx_for_input): New variable. (reload_reg_rtx_for_output): Likewise. (emit_input_reload_insns): Use reloadreg rather than rl->reg_rtx when reassigning a pseudo register. Load reloadreg from reload_reg_rtx_for_input, moving the mode and register calculation to... (do_input_reload): ...here. Use the mode-adjusted reg_rtx instead of the original when deciding whether an input reload would be a no-op or whether an output reload can be deleted. (emit_output_reload_insns): Use the mode-adjusted reg_rtx when setting up new_spill_reg_store. Load it from reload_reg_rtx_for_output, moving the mode and register calculation to... (do_output_reload): ...here. Use the mode-adjusted reg_rtx instead of the original when deciding whether an output reload would be a no-op. Do the same when modifying insn notes. Use rtx_equal_p instead of == to compare the registers. (inherit_piecemeal_p): Take a mode and two register numbers as argument. (emit_reload_insns): Clear new_spill_reg_store for every hard register in the reload register. Remove spill registers from reg_reloaded_valid before considering whether to record inheritance information for them. Use reload_reg_rtx_for_output instead of reg_rtx when recording output reloads. Use reload_reg_rtx_for_input instead of reg_rtx when recording input reloads. Set or clear reg_reloaded_call_part_clobbered at the same time as setting reg_reloaded_valid. (delete_output_reload): Add a new_reload_reg parameter and use it instead of rld[j].reg_rtx. (emit_input_reload_insns, do_input_reload, do_output_reload): Adjust calls accordingly. 2008-03-25 Tom Tromey * Makefile.in (build/gensupport.o): Depend on insn-modes.h. (build/genattr.o): Likewise. (build/genattrtab.o): Likewise. (build/gencodes.o): Likewise. (build/genconfig.o): Likewise. (build/genconstants.o): Likewise. (build/genemit.o): Likewise. (build/genextract.o): Likewise. (build/genflags.o): Likewise. 2008-03-25 Bob Wilson * config/xtensa/xtensa.c (xtensa_va_start): Use build_int_cst instead of size_int for integer types. (xtensa_gimplify_va_arg_expr): Likewise. Convert index to sizetype to match type of MINUS_EXPR. 2008-03-25 Tom Tromey * configure: Rebuilt. * configure.ac (BUILD_DEPMODE): Extract CCDEPMODE from temporary Makefile. 2008-03-25 Tom Tromey * config/x-solaris (host-solaris.o): Update. * config/x-linux (host-linux.o): Update. * config/x-hpux (host-hpux.o): Update. * config/x-darwin (host-darwin.o): Update. * config/v850/t-v850e (v850-c.o): Update. * config/v850/t-v850 (v850-c.o): Update. * config/t-vxworks (vxworks.o): Update. * config/t-sol2 (sol2-c.o, sol2.o): Update. * config/t-darwin (darwin.o, darwin-c.o, darwin-driver.o): Update. * config/spu/t-spu-elf (spu-c.o): Update. (spu.o): Remove. * config/sh/t-symbian (sh-c.o): Update. (symbian.o): Update. * config/sh/t-sh (sh-c.o): Update. * config/score/t-score-elf (score7.o, score3.o): Update. * config/rs6000/x-rs6000 (driver-rs6000.o): Update. * config/rs6000/x-darwin64 (host-ppc64-darwin.o): Update. * config/rs6000/x-darwin (host-ppc-darwin.o): Update. * config/rs6000/t-rs6000 (rs6000-c.o): Update. (rs6000.o): Remove. * config/m68k/t-uclinux (generated_files): Add sysroot-suffix.h. * config/m32c/t-m32c (m32c-pragma.o): Update. * config/ia64/t-ia64 (ia64-c.o): Update. * config/i386/x-mingw32 (host-mingw32.o): Update. * config/i386/x-i386 (driver-i386.o): Update. * config/i386/x-darwin (host-i386-darwin.o): Update. * config/i386/x-cygwin (host-cygwin.o): Update. * config/i386/t-nwld (nwld.o): Update. * config/i386/t-netware (netware.o): Update. * config/i386/t-interix (winnt.o): Update. * config/i386/t-cygwin (cygwin1.o, cygwin2.o): Update. * config/i386/t-cygming (winnt.o, winnt-cxx.o, winnt-stubs.o, msformat-c.o): Update. * config/bfin/t-bfin-linux (generated_files): Add linux-sysroot-suffix.h. * config/arm/t-wince-pe (pe.o): Update. * config/arm/t-strongarm-pe (pe.o): Update. * config/arm/t-pe (pe.o): Update. * config/arm/t-arm (arm-c.o): Update. * doc/install.texi (Prerequisites): Require make 3.80. * Makefile.in: Remove .o targets. (CCDEPMODE, DEPDIR, depcomp, BUILD_DEPMODE): New variables. (OBSTACK_H, FIBHEAP_H, PARTITION_H, MD5_H, BCONFIG_H): Remove. (simple_generated_h, simple_generated_c): Move earlier. (generated_files): New variable. (TARGET_H, MACHMODE_H, HOOKS_H, HOSTHOOKS_DEF_H, LANGHOOKS_DEF_H, TARGET_DEF_H, RTL_BASE_H, RTL_H, PARAMS_H, BUILTINS_DEF, TREE_H, BASIC_BLOCK_H, GCOV_IO_H, COVERAGE_H, DEMANGLE_H, RECOG_H, ALIAS_H, EMIT_RTL_H, FLAGS_H, FUNCTION_H, EXPR_H, OPTABS_H, REGS_H, RA_H, RESOURCE_H, SCHED_INT_H, INTEGRATE_H, CFGLAYOUT_H, CFGLOOP_H, IPA_UTILS_H, IPA_REFERENCE_H, IPA_TYPE_ESCAPE_H, CGRAPH_H, DF_H, RESOURCE_H, DDG_H, GCC_H, GGC_H, TIMEVAR_H, INSN_ATTR_H, C_COMMON_H, C_PRAGMA_H, C_TREE_H, SYSTEM_H, PREDICT_H, DECNUM_H, MKDEPS_H, SYMTAB_H, TREE_DUMP_H, TREE_GIMPLE_H, TREE_FLOW_H, TREE_SSA_LIVE_H, PRETTY_PRINT_H, DIAGNOSTIC_H, C_PRETTY_PRINT_H, SCEV_H, LAMBDA_H, TREE_DATA_REF_H, VARRAY_H, TREE_INLINE_H, REAL_H, DBGCNT_H, EBIMAP_H): Remove. (.c.o): Remove. (COMPILE.base, COMPILE): New variables. (%.o): New pattern rule. (ALL_HOST_OBJS): New variable. (xgcc$(exeext), cpp$(exeext)): Remove extra version.o. (dummy-checksum.o, cc1-checksum.o): Remove. (DRIVER_SHLIB): New variable. (DRIVER_DEFINES): Use it. (gencondmd.c): Move out of build/. (s-conditions): Update. (BUILDCOMPILE.base, BUILDCOMPILE): New variables. (ALL_BUILD_OBJS): Likewise. (build/%.o): Use BUILDCOMPILE. (build/ggc-none.o, build/ggc-none.o, build/min-insn-modes.o, build/print-rtl.o, build/read-rtl.o, build/rtl.o, build/vec.o, build/gencondmd.o, build/genattrtab.o, build/genautomata.o, build/gencheck.o, build/gencodes.o, build/genconditions.o, build/genconfig.o, build/genconstants.o, build/genemit.o, build/genextract.o, build/genflags.o, build/genmddeps.o, build/genopinit.o, build/genoutput.o, build/genpeep.o, build/genpreds.o, build/genrecog.o, build/gcov-iov.o, build/gen-protos.o, build/scan.o, build/fix-header.o, build/scan-decls.o): Simplify. (collect2.o, c-opts.o, gcc.o, gccspec.o, gcc-options.o, cppdefault.o, protoize.o, unprotoize.o, intl.o, version.o, prefix.o, toplev.o): Reduce to variable setting. (libbackend.o): Use COMPILE. Remove most dependencies. Move later. ($(out_object_file), gcc-options.o): New targets. ($(ALL_HOST_OBJS)): New target. Include dependency files. * configure: Rebuilt. * configure.ac: Call ZW_CREATE_DEPDIR, ZW_PROG_COMPILER_DEPENDENCIES. * doc/sourcebuild.texi (Front End Directory): Document new variable. 2008-03-25 Douglas Gregor * c-common.c (c_sizeof_or_alignof_type): If we're not allowed to complain when we hit an error, return ERROR_MARK_NODE. 2008-03-25 Naveen.H.S * config/sh/constraints.md (Pso, Psz): New constraints. * config/sh/sh.c (print_operand): Add %V and %W operand codes. * config/sh/sh.md (*andsi3_bclr, *iorsi3_bset): New insns. 2008-03-25 Naveen.H.S * config/sh/sh.c (sh_expand_t_scc): Emit movrt for SH2A if possible. * config/sh/sh.md (xorsi3_movrt, movrt): New insns. 2008-03-25 Naveen.H.S * config/sh/sh.md (prefetch): Add condition for SH2A target. (prefetch_sh2a): New. 2008-03-25 Jayant Sonar Naveen.H.S * config/sh/constraints.md (I28): New constraint. * config/sh/sh.c (broken_move): Add support for movi20s. * config/sh/sh.md (movsi_ie): Add the alternative for movi20s. 2008-03-25 Anil Paranjape Jayant Sonar Naveen.H.S * config/sh/sh.c (SH_ATTRIBUTES): Define. (SYMBOL_FLAG_FUNCVEC_FUNCTION): Define. (print_operand): Handle resbank in %@ operand code. (sh_encode_section_info): New. (push_regs): Add conditions for resbank. (sh_expand_epilogue): Likewise. (sh_insert_attributes): Likewise. (sh_attribute_table): Likewise. (sh_handle_resbank_handler_attribute): New. (sh2a_handle_function_vector_handler_attribute): New. (sh2a_is_function_vector_call): New. (sh2a_get_function_vector_number): New. (sh2a_function_vector_p): New. (sh_cfun_resbank_handler_p): New. * config/sh/sh.md (calli): Emit jsr/n if possible. (calli_tbr_rel): New. (calli_pcrel): Emit jsr/n if possible. (return_i): Emit rts/n if possible. (call_valuei_tbr_rel): New. (call_valuei_pcrel): Add condition for SH2A target. (call_value): Likewise. * config/sh/sh-protos.h (sh_cfun_resbank_handler_p): Declare. (sh2a_get_function_vector_number): Likewise. (sh2a_is_function_vector_call): Likewise. * doc/extend.texi: Document TBR relative addressing of SH2A. (resbank): Add description for SH2A. 2008-03-24 Richard Guenther PR c/22371 * gimplify.c (gimplify_modify_expr): For frontend type-correct pointer assignments change conversions according to middle-end rules. (gimplify_modify_expr_rhs): Deal with NULL TARGET_EXPR_INITIAL. * configure.ac: Include type checking in yes. * configure: Regenerate. 2008-03-24 Manuel Lopez-Ibanez * diagnostic.c (diagnostic_count_diagnostic): Delete. (diagnostic_report_diagnostic): Update. Handle ICEs here. 2008-03-24 Nathan Sidwell * gthr-vxworks.h (UNUSED): Define. 2008-03-23 H.J. Lu * config/i386/i386.h (STATIC_CHAIN_REGNUM): Use R10_REG and CX_REG. 2008-03-23 Zuxy Meng * doc/extend.texi (Function Attributes): Add missing comma in the example of the "alloc_size" attribute. 2008-03-23 Uros Bizjak Revert: 2008-03-05 H.J. Lu * config/i386/i386-modes.def: Use 4 byte alignment on DI for 32bit host. 2008-03-19 Uros Bizjak PR target/35496 * stor-layout.c (update_alignment_for_field): Set minimum alignment of the underlying type of a MS bitfield layout to the natural alignment of the type. 2008-03-22 Uros Bizjak * config/i386/i386.c (assign_386_stack_local): Align DImode slots to their natural alignment to avoid store forwarding stalls. 2008-03-22 Richard Guenther * tree-cfg.c (verify_expr): Recurse again for invariant addresses. For PHI nodes verify the address is invariant. * tree-ssa-ccp.c (ccp_decl_initial_min_invariant): Remove. (get_symbol_constant_value): Use is_gimple_min_invariant. (maybe_fold_stmt_indirect): Likewise. 2008-03-22 Richard Sandiford PR rtl-optimization/33927 * Makefile.in (dse.o): Depend on $(TM_P_H). * expr.h (extract_low_bits): Declare. * expmed.c (extract_low_bits): New function. * rtlhooks.c (gen_lowpart_general): Generalize SUBREG handling. * dse.c: Include tm_p.h. (find_shift_sequence): Remove the read_reg argument and return the read value. Emit the instructions instead of returning them. Iterate on new_mode rather than calculating it each time. Check MODES_TIEABLE_P. Use simplify_gen_subreg to convert the source to NEW_MODE and extract_low_bits to convert the shifted value to READ_MODE. (replace_read): Allow the load and store to have different mode classes. Use extract_low_bits when SHIFT == 0. Create the shift or extraction instructions before trying the replacement. Update dump-file code accordingly, avoiding use of REGNO (store_info->rhs). 2008-03-22 Uros Bizjak * config/i386/i386.c (assign_386_stack_local): Align DImode slots to their natural alignment to avoid store forwarding stalls. 2008-03-21 Andrew Pinski PR target/27946 * config/rs6000/rs6000.md (floatdidf2): Discouraging fprs and encouraging but not allowing gprs for input; change the input constraint to !f#r. (fix_truncdfdi2): Discouraging fprs and encouraging but not allowing gprs for output; change the output constraint to !f#r. 2008-03-21 Uros Bizjak PR target/13958 * config/i386/i386.md ("*floatunssi_1"): New pattern with corresponding post-reload splitters. ("floatunssi2"): Expand to unsigned_float x87 insn pattern when x87 FP math is selected. * config/i386/i386-protos.h (ix86_expand_convert_uns_sixf_sse): New function prototype. * config/i386/i386.c (ix86_expand_convert_uns_sixf_sse): New unreachable function to ease macroization of insn patterns. 2008-03-21 Martin Jambor * tree-data-ref.c (dump_data_dependence_relation): Avoid data reference dumps if ddr is NULL or dependence is unknown. 2008-03-20 Kaz Kojima * config/sh/linux-atomic.asm (ATOMIC_TEST_AND_SET): Take unsigned extension into account. (ATOMIC_COMPARE_AND_SWAP): Likewise. (ATOMIC_FETCH_AND_OP, ATOMIC_FETCH_AND_COMBOP): Likewise. Do computations on a scratch register. 2008-03-21 Richard Guenther * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop): Use is_gimple_min_invariant instead of TREE_INVARIANT. * tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Likewise. * tree-ssa-dom.c (record_equality): Likewise. * tree-inline.c (copy_body_r): Likewise. * tree-ssa-pre.c (make_values_for_stmt): Remove test for TREE_INVARIANT. 2008-03-20 Kaz Kojima * config/sh/sh.c (split_branches): Pass zero to redirect_jump as 'delete_unused' argument. 2008-03-20 Richard Guenther * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove special casing of constant qualifiers. * tree-ssa.c (useless_type_conversion_p_1): Instead do not care about them in general. * tree-ssa-ccp.c (ccp_fold): Addresses are constant or not regardless of their type. (fold_stmt_r): Forcefully fold *& if we end up with that. 2008-03-20 Paul Brook * config.gcc (arm*-*-uclinux*): Remove duplicate arm/uclinux-elf.h. * config/arm/uclinux-eabi.h (SUBTARGET_EXTRA_LINK_SPEC): Add extra linker flags. * config/arm/bpabi.h (SUBTARGET_EXTRA_LINK_SPEC): Provide default definition. (LINK_SPEC): Use SUBTARGET_EXTRA_LINK_SPEC. * config/arm/unwind-arm.h (_Unwind_decode_target2): Add uClinux. 2008-03-20 Volker Reichelt * common.opt (Wmudflap): New option. * tree-mudflap.c (mf_xform_derefs_1): Guard warning by OPT_Wmudflap. (mx_register_decls): Likewise. (mudflap_finish_file): Likewise. * doc/invoke.texi: Document -Wno-mudflap. 2008-03-20 Kai Tietz * c-format.c (replace_format_name_to_system_name): New. (cmp_attribs): New. (convert_format_name_to_system_name): New. (decode_format_attr): Add use of convert_format_name_to_system_name. (format_types_orig): Add gnu_ prefix to names. (check_format_info_main): Special treating of \0 escaped names for supporting multi-character format specifiers as I32, I64. (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): Use of user defined attributes. (gnu_target_overrides_format_attributes): New. * c-format.h: Add structure target_ovr_attr to hold system specific formatter names. * config.gcc: Add for x86&x86_64 cygwin and mingw32 targets the msformat-c.o file to c_target_objs and cxx_target_objs. * config/i386/mingw32.h (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New. (TARGET_OVERRIDES_FORMAT_ATTRIBUTES_COUNT): New. (TARGET_N_FORMAT_TYPES): New. * config/i386/msformat-c.c: New. * config/i386/t-cygming: Add build rule for msformat-c.o. * doc/extend.texi: Add new format names gnu_* and ms_* and further details. * doc/tm.texi: (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): New. 2008-03-20 Ira Rosen * doc/invoke.texi (-O3): Add -ftree-vectorize to the list of optimizations turned on under -O3. (ftree-vectorize): Add that the flag is turned on with -O3. 2008-03-20 Ben Elliston * regmove.c (try_auto_increment): Fix spelling error in comment. * final.c (final_scan_insn): Likewise. 2008-03-20 Uros Bizjak PR target/14552 * config/i386/mmx.md (*mov_internal_rex64"): Adjust register allocator preferences for "y" and "r" class registers. ("*mov_internal"): Ditto. ("*movv2sf_internal_rex64"): Ditto. ("*movv2sf_internal"): Ditto. 2008-03-19 Michael Matz PR middle-end/35616 * calls.c (expand_call): Check overlap of arguments with call address for sibcalls. 2008-03-19 Uros Bizjak PR target/35496 * stor-layout.c (update_alignment_for_field): Set minimum alignment of the underlying type of a MS bitfield layout to the natural alignment of the type. 2008-03-19 Jan Hubicka PR other/35094 * toplev.c (decode_d_option): Handle all CPP flags. * tree-vrp.c: Update tree_pass descriptors. * regrename.c: Update tree_pass descriptors. * fwprop.c: Update tree_pass descriptors. * doc/invoke.texi: Remove documentation of dropped -d? flags. * tree-into-ssa.c: Update tree_pass descriptors. * tree-dump.c: Update tree_pass descriptors. * tree-complex.c: Update tree_pass descriptors. * tree-dump.h: Update tree_pass descriptors. * see.c: Update tree_pass descriptors. * cgraphbuild.c: Update tree_pass descriptors. * tracer.c: Update tree_pass descriptors. * tree-loop-distribution.c: Update tree_pass descriptors. * cgraph.c: Update tree_pass descriptors. * postreload-gcse.c: Update tree_pass descriptors. * postreload.c: Update tree_pass descriptors. * tree-ssa-loop-ch.c: Update tree_pass descriptors. * tree-tailcall.c: Update tree_pass descriptors. * tree-pass.h (tree_opt_pass): Rename to ... (opt_pass) ... this one; add "type" field and remove letter field. (gimple_opt_pass, rtl_opt_pass, simple_ipa_opt_pass): New. (execute_pass_list, execute_ipa_pass_list, all_passes, all_ipa_passes, all_lowering_passes): Update declaration. * ipa-cp.c: Update tree_pass descriptors. * final.c: Update tree_pass descriptors. * omp-low.c: Update tree_pass descriptors. * tree-ssa-dse.c: Update tree_pass descriptors. * ipa-reference.c: Update tree_pass descriptors. * tree-ssa-uncprop.c: Update tree_pass descriptors. * auto-inc-dec.c: Update tree_pass descriptors. * reorg.c: Update tree_pass descriptors. * cgraphunit.c: Update tree_pass descriptors. * tree-ssa-copyrename.c: Update tree_pass descriptors. * tree-ssa-ccp.c: Update tree_pass descriptors. * df-core.c: Update tree_pass descriptors. * mode-switching.c: Update tree_pass descriptors. * tree-nomudflap.c: Update tree_pass descriptors. * modulo-sched.c: Update tree_pass descriptors. * ipa-pure-const.c: Update tree_pass descriptors. * cse.c: Update tree_pass descriptors. * web.c: Update tree_pass descriptors. * tree-stdarg.c: Update tree_pass descriptors. * tree-ssa-math-opts.c: Update tree_pass descriptors. * tree-ssa-dom.c: Update tree_pass descriptors. * tree-nrv.c: Update tree_pass descriptors. * tree-ssa-alias.c: Update tree_pass descriptors. * loop-init.c: Update tree_pass descriptors. * gimple-low.c: Update tree_pass descriptors. * ipa-inline.c: Update tree_pass descriptors. * tree-ssa-sink.c: Update tree_pass descriptors. * global.c: Update tree_pass descriptors. * ifcvt.c: Update tree_pass descriptors. * jump.c: Update tree_pass descriptors. * predict.c: Update tree_pass descriptors. * tree-ssa-loop.c: Update tree_pass descriptors. * recog.c: Update tree_pass descriptors. * dse.c: Update tree_pass descriptors. * tree-ssa-ifcombine.c: Update tree_pass descriptors. * tree-eh.c: Update tree_pass descriptors. * regmove.c: Update tree_pass descriptors. * local-alloc.c * function.c: Update tree_pass descriptors. * tree-vectorizer.c: Update tree_pass descriptors. * gcse.c: Update tree_pass descriptors. * ipa-type-escape.c: Update tree_pass descriptors. * tree-if-conv.c: Update tree_pass descriptors. * init-regs.c: Update tree_pass descriptors. * ipa.c: Update tree_pass descriptors. * tree-ssa-phiopt.c: Update tree_pass descriptors. * rtl-factoring.c: Update tree_pass descriptors. * lower-subreg.c: Update tree_pass descriptors. * bt-load.c: Update tree_pass descriptors. * tree-dfa.c: Update tree_pass descriptors. * except.c: Update tree_pass descriptors. * emit-rtl.c: Update tree_pass descriptors. * cfgexpand.c: Update tree_pass descriptors. * tree-cfgcleanup.c: Update tree_pass descriptors. * cfgcleanup.c: Update tree_pass descriptors. * tree-ssa-pre.c: Update tree_pass descriptors. * tree-sra.c: Update tree_pass descriptors. * tree-mudflap.c: Update tree_pass descriptors. * tree-ssa-copy.c: Update tree_pass descriptors. * cfglayout.c: Update tree_pass descriptors. * tree-ssa-forwprop.c: Update tree_pass descriptors. * tree-ssa-dce.c: Update tree_pass descriptors. * tree-ssa.c: Update tree_pass descriptors. * regclass.c: Update tree_pass descriptors. * integrate.c: Update tree_pass descriptors. * tree-optimize.c: Update tree_pass descriptors. * tree-ssa-phiprop.c: Update tree_pass descriptors. * tree-object-size.c: Update tree_pass descriptors. * combine.c: Update tree_pass descriptors. * tree-outof-ssa.c: Update tree_pass descriptors. * bb-reorder.c: Update tree_pass descriptors. * stack-ptr-mod.c: Update tree_pass descriptors. * var-tracking.c: Update tree_pass descriptors. * tree-profile.c: Update tree_pass descriptors. * tree-vect-generic.c: Update tree_pass descriptors. * reg-stack.c: Update tree_pass descriptors. * sched-rgn.c: Update tree_pass descriptors. * tree-ssa-structalias.c: Update tree_pass descriptors. * tree-cfg.c: Update tree_pass descriptors. * passes.c (current_pass): Update declaration. (finish_optimization_passes): Update. (all_passes, all_ipa_passes, all_lowering_passes): Update declaration. (register_one_dump_file, register_dump_files_1, next_pass_1): Update arguments. (init_optimization_passes): Update handling of new types. (execute_one_pass, execute_pass_list, execute_ipa_pass_list): Update. * ipa-struct-reorg.c: Update tree_pass descriptors. * tree-ssa-reassoc.c: Update tree_pass descriptors. * combine-stack-adj.c: Update tree_pass descriptors. * cfgrtl.c: Update tree_pass descriptors. * dce.c: Update tree_pass descriptors. * tree-ssanames.c: Update tree_pass descriptors. 2008-03-19 Richard Guenther PR middle-end/35609 * tree-ssa.c (walk_data): New structure. (warn_uninitialized_var): If not always_executed warn with "maybe" instead of "is". (execute_early_warn_uninitialized): Compute post-dominators. Initialize always_executed before processing each basic block. 2008-03-18 Mikulas Patocka PR target/35504 * config/i386/i386.c (x86_this_parameter): Calculate correct location of "this" pointer when "regparm = N" or "fastcall" is in effect. 2008-03-18 Ralf Wildenhues * doc/include/texinfo.tex: Update to version 2008-03-17.10. 2008-03-18 Paolo Bonzini * expr.c (store_expr): Assume lang_hooks.reduce_bit_field_operations is true. (expand_expr_real_1) : Don't look at ignore. (expand_expr_real_1): Assume lang_hooks.reduce_bit_field_operations is true. Add "&& !ignore" condition to reduce_bit_field. Modify target after ignore has been set, and move there also the commputation of subtarget and original_target. * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete. (LANG_HOOKS_INITIALIZER): Remove it. * langhooks.h (struct lang_hooks): Remove reduce_bit_field_operations. 2008-03-18 Richard Guenther * tree-ssa-sccvn.c (visit_reference_op_load): If the lookup found an expression with constants, note that in the VN for the lhs. * tree-ssa-pre.c (eliminate): Visit COND_EXPR statements and fold them to constants if possible. Run cleanup_cfg if done so. (execute_pre): Return todo. (do_pre): Likewise. (execute_fre): Likewise. * tree-ssa-forwprop.c (can_propagate_from): Allow propagation of constants. (get_prop_source_stmt): Look through pointer conversions. 2008-03-18 Jan Hubicka * tree-pretty-print.c: Include predict.h. (dump_generic_node): Dump predictor. * tree.h (PREDICT_EXPR_OUTCOME, PREDICT_EXPR_PREDICTION): Update. * tree-gimple.c (is_gimple_stmt): Add PREDICT_EXPR. * gimple-low.c (lower_stmt): Likewise. * expr.c (expand_expr_real): Likewise. * predict.c (tree_bb_level_predictions): Use PREDICT_EXPRs and remove them. (build_predict_expr, build_predict_expr): New. * predict.h (predictor_name, build_predict_expr): Update. * c-typeck.c (c_finish_bc_stmt): Add prediction. * gimplify.c (gimplify_expr): Add PREDICT_EXPR. * predict.def (PRED_CONTINUE): Update hitrate. * tree.def (PREDICT_EXPR): Define. * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Mark PREDICT_EXPR; do not handle BIND_EXPR. * tree-inline.c (estimate_num_insns_1): PREDICT_EXPR is free. * tree-cfg.c (verify_gimple_stmt): PREDICT_EXPR is valid. * tree-ssa-operands.c (get_expr_operands): PREDICT_EXPR takes no operands. 2008-03-18 Michael Matz * gcov-io.h (__gcov_merge_ior, __gcov_fork): Mark hidden. 2008-03-18 Richard Guenther * tree-gimple.h (is_gimple_invariant_address): Declare. (is_gimple_constant): Likewise. * tree-gimple.c (is_gimple_constant): New function. (is_gimple_invariant_address): Likewise. (is_gimple_min_invariant): Implement in terms of is_gimple_constant and is_gimple_invariant_address. * tree-ssa-loop-niter.c (expand_simple_operations): Revert previous change. * tree-data-ref.c (get_references_in_stmt): A SSA_NAME is not an addressable base. 2008-03-18 Jakub Jelinek PR middle-end/35611 * gimplify.c (gimplify_expr): Gimplify second operand of OMP_ATOMIC_LOAD. 2008-03-17 Richard Guenther PR tree-optimization/19637 * fold-const.c (fold_unary): Remove restrictions of removing intermediate pointer-conversions (P2)(P1)P0. * tree-ssa-ccp.c (maybe_fold_stmt_addition): Recover from conversion to void pointer. (get_maxval_strlen): Handle addresses of the form &(*p)[0]. 2008-03-16 James E. Wilson PR debug/31510 * dbxout.c (dbxout_expand_expr, case VAR_DECL): Return NULL for emulated thread local variables. 2008-03-16 Richard Guenther PR middle-end/35607 * tree-ssa-loop-niter.c (expand_simple_operations): Do not expand TREE_INVARIANT operations that are not gimple invariant. 2008-03-16 Hans-Peter Nilsson * doc/extend.texi (Alignment): Say that the ABI controls the __alignof__ for non-strict-alignment targets rather than being a recommendation. 2008-03-15 Paul Brook * config/arm/arm.c (arm_unwind_emit): Suppress unused unwinding annotations. (arm_output_fn_unwind): Mark functions that can not be unwound. 2008-03-15 Paul Brook * config/arm/arm.c (arm_rtx_costs_1): Add costs for ARMv6 value extension instructions. 2008-03-15 Richard Guenther * tree-ssa-ccp.c (ccp_fold): Also read from constant values and fold constant aggregate refs. (fold_const_aggregate_ref): Handle string constants and constructors in ARRAY_REFs. Handle INDIRECT_REF. (evaluate_stmt): Simplify now that ccp_fold folds constant aggregate refs. 2008-03-15 Paul Brook * config/arm/arm.md (insv): Use gen_insv_t2 and gen_insv_zero. (extzv): Use gen_extzv_t2. (insv_t2, insv_zero, extv, extzv_t2): New patterns. 2008-03-15 Richard Guenther * tree-ssa-ccp.c (get_symbol_constant_value): Export. (fold_const_aggregate_ref): Likewise. (get_value): Return NULL if we don't have any values. (ccp_finalize): Set const_val to NULL after freeing it. * tree-flow.h (get_symbol_constant_value): Declare. (fold_const_aggregate_ref): Likewise. * tree-ssa-sccvn.c (try_to_simplify): Use them. 2008-03-15 Richard Guenther PR middle-end/35593 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Make sure to not produce negative array indices if not allowed. Add parameter to indicate that. (maybe_fold_offset_to_component_ref): Allow negative array indices only for the first member of a structure. (maybe_fold_offset_to_reference): Allow negative array indices. (maybe_fold_stmt_addition): Likewise. 2008-03-15 Bjoern Haase Anatoly Sokolov * gcc/gcc/config/avr/avr.c (avr_arch_types): Add avr6 entry. (avr_arch): Add ARCH_AVR6. (avr_mcu_types): Add 'atmega2560' and 'atmega2561' entry. (initial_elimination_offset): Initialize and use 'avr_pc_size' instead of fixed value 2. (print_operand_address): Use gs() asm specifier instead of pm(). (avr_assemble_integer): (Ditto.). (avr_output_addr_vec_elt): (Ditto.). (print_operand): Handle "!" code. * gcc/gcc/config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Add __AVR_3_BYTE_PC__, __AVR_2_BYTE_PC__ and __AVR_HAVE_JMP_CALL__. (AVR_HAVE_EIJMP_EICALL): Define. (AVR_3_BYTE_PC): Redefine. (AVR_2_BYTE_PC): (Ditto.). (PRINT_OPERAND_PUNCT_VALID_P): Add '!' code. (LINK_SPEC): Add atmega2560 and atmega2561. (CRT_BINUTILS_SPEC): Add atmega2560 (crtm2560.o) and atmega2561 (crtm2561.o). * gcc/gcc/config/avr/avr.md (call_insn): Use eicall instead of icall for 3 byte PC devices. (call_value_insn): (Ditto.). (*tablejump_enh): Use eijmp instead of ijmp for 3 byte PC devices. (indirect_jump): Use only for for 2 byte PC devices. (*tablejump): (Ditto.). (*indirect_jump_avr6): Add insn. (*tablejump_rjmp): Don't use for 3 byte PC devices. * gcc/gcc/config/avr/libgcc.S (__prologue_saves__): Use eijmp instead of ijmp for 3 byte PC devices. (__tablejump2__): (Ditto.). * gcc/gcc/config/avr/t-avr (MULITLIB_OPTIONS): Add avr6 architecture. (MULITLIB_DIRNAMES): (Ditto.). (MULTILIB_MATCHES): Add atmega2560 and atmega2561 to list. 2008-03-15 Uros Bizjak * config/i386/mmx.md ("sse2_umulv1siv2di3"): Rename from "sse2_umulsidi3". Use V1DI mode for operand 0. ("mmx_psadbw"): Use V1DI mode for operand 0. * config/i386/i386-modes.def (V1SI): New vector mode. * config/i386/i386.c (struct builtin_description) [IX86_BUILTIN_PMULUDQ]: Use CODE_FOR_sse2_umulv1siv1di3. (v1di_ftype_v8qi_v8qi): Rename from di_ftype_v8qi_v8qi. (v1di_ftype_v2si_v2si): Rename from di_ftype_v2si_v2si. (ix86_init_mmx_sse_builtins) [__builtin_ia32_psadbw]: Use v1di_ftype_v8qi_v8qi type. [__builtin_ia32_pmuludq]: Use v1di_ftype_v2si_v2si type. * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psadbw, __builtin_ia32_pmuludq]: Fix the mode of return value. 2008-03-15 Richard Guenther PR middle-end/35595 * tree-ssa-pre.c (bitmap_find_leader): Handle expression being a PHI_NODE. 2008-03-14 Bob Wilson * doc/invoke.texi (Option Summary, Xtensa Options): Document -mserialize-volatile and -mno-serialize-volatile Xtensa options. * config/xtensa/xtensa.c (print_operand): Do not emit MEMW instructions unless TARGET_SERIALIZE_VOLATILE is enabled. * config/xtensa/xtensa.md (*lsiu, *ssiu): Likewise. * config/xtensa/xtensa.h (TARGET_DEFAULT): Add MASK_SERIALIZE_VOLATILE. * config/xtensa/xtensa.opt (mserialize_volatile): New option. 2008-03-14 Richard Guenther PR tree-optimization/34172 * tree-flow.h (refs_may_alias_p): Declare. (get_single_def_stmt): Likewise. (get_single_def_stmt_from_phi): Likewise. (get_single_def_stmt_with_phi): Likewise. * tree-dfa.c (refs_may_alias_p): New function. (get_single_def_stmt): Likewise. (get_single_def_stmt_from_phi): Likewise. (get_single_def_stmt_with_phi): Likewise. * tree-ssa-sccvn.c (get_def_ref_stmt_vuses): New function. (vn_reference_lookup_1): New helper function. (vn_reference_lookup): Walk the virtual use-def chain to continue searching for a match if the def does not alias the reference we are looking for. 2008-03-14 David Edelsohn * doc/install.texi (Binaries): Remove UCLA archive. Add HVCC archive and Perzl. Update The Written Word listing. 2008-03-14 Richard Guenther PR tree-optimization/34043 PR tree-optimization/33989 * tree-ssa-pre.c (execute_pre): Allow SCCVN to do insertion when doing FRE. (bitmap_find_leader): Use extra argument to verify dominance relationship inside a basic-block. (can_PRE_operation): Add VIEW_CONVERT_EXPR. (find_leader_in_sets): Adjust. (create_component_ref_by_pieces): Take extra argument for dominance check, handle lookup failures. (find_or_generate_expression): Likewise. (create_expression_by_pieces): Likewise. (insert_into_preds_of_block): Adjust. (create_value_expr_from): If asked for, verify all operands are in the blocks AVAIL_OUT set. (make_values_for_stmt): Check for SSA_NAMEs that are life over an abnormal edge. (compute_avail): Remove such check. (do_SCCVN_insertion): New function. (eliminate): If we do not find a leader suitable for replacement insert a replacement expression from SCCVN if available. * tree-ssa-sccvn.h (run_scc_vn): Update prototype. (struct vn_ssa_aux): Add needs_insertion flag. * tree-ssa-sccvn.c (may_insert): New global flag. (copy_reference_ops_from_ref): Value-number union member access based on its size, not type and member if insertion is allowed. (visit_reference_op_load): For a weak match from union type punning lookup a view-converted value and insert a SSA_NAME for that value if that is not found. (visit_use): Make dumps shorter. Do not disallow value numbering SSA_NAMEs that are life over an abnormal edge to constants. (free_scc_vn): Release inserted SSA_NAMEs. (run_scc_vn): New flag to specify whether insertion is allowed. Process SSA_NAMEs in forward order. * tree-ssa-loop-im.c (for_each_index): Handle invariant ADDR_EXPRs inside VIEW_CONVERT_EXPR. * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPRs from/to pointer type to/from integral types that do not change the precision to regular conversions. 2008-03-13 Uros Bizjak * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?, __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i, __builtin_ia32_psrl?i, __builtin_ia32_psra?i, __builtin_ia32_psll?128, __builtin_ia32_psrl?128, __builtin_ia32_psra?128]: Fix the mode of input arguments and the mode of return value. Built-in functions that operate on whole 64-bit MMX register now use V1DI mode. 2008-03-13 Alon Dayan Olga Golovanevsky PR tree-optimization/35041 * ipa-struct-reorg.c (find_pos_in_stmt_1): Add another option to locate the right position in a statement. 2008-03-13 Uros Bizjak PR target/34000 PR target/35553 * config/i386/xmmintrin.h: Change all static inline functions to extern inline and add __gnu_inline__ attribute. * config/i386/bmintrin.h: Ditto. * config/i386/smmintrin.h: Ditto. * config/i386/tmmintrin.h: Ditto. * config/i386/mmintrin-common.h: Ditto. * config/i386/ammintrin.h: Ditto. * config/i386/emmintrin.h: Ditto. * config/i386/pmmintrin.h: Ditto. * config/i386/mmintrin.h: Ditto. * config/i386/mm3dnow.h: Ditto. 2008-03-13 Jakub Jelinek PR middle-end/35185 * omp-low.c (lower_regimplify, init_tmp_var, save_tmp_var): Removed. (lower_omp_2): New function. (lower_omp_1, lower_omp): Rewritten. 2008-03-13 Danny Smith PR 35054 * doc/extend.texi (Structure-Packing Pragmas): Replace "Win32" with the phrase "Microsoft Windows compilers". (Push/Pop Macro Pragmas): New subsection. Document #pragma push_macro and pragma pop_macro. 2008-03-12 Paul Brook * config/arm/arm.c (output_move_double): Prefer LDRD to LDM. 2008-03-12 Paul Brook * config/arm/thumb2.md: Extend peephole to cover 3-arg subs. (thumb2_alusi3_short): Exclude PLUS and MINUS. (thumb2_addsi_shortim): Rename ... (thumb2_addsi_short): ... to this. Allow register operands. (thumb2_subsi_short): New pattern. (thumb2_one_cmplsi2_short, thumb2_negsi2_short): New patterns and peepholes. 2008-03-12 Paul Brook * config/arm/arm.c (arm_size_rtx_costs): Use ARM costs for Thumb-2. 2008-03-12 Uros Bizjak * config/i386/i386.md (int_cond): New code iterator. (fp_cond): Ditto. ("s"): Macroize expander from seq, sne, sgt, sgtu, slt, sltu, sge, sgeu, sle and sleu expanders usign int_cond code iterator. ("s"): Macroize expander from sunordered, sordered, suneq, sunge, sungt, sunle, sunlt and sltgt expanders usign fp_cond code iterator. ("b"): Macroize expander from beq, bne, bgt, bgtu, blt, bltu, bge, bgeu, ble and bleu expanders usign int_cond code iterator. ("b"): Macroize expander from bunordered, bordered, buneq, bunge, bungt, bunle, bunlt and bltgt expanders usign fp_cond code iterator. 2008-03-12 Paul Brook * config/arm/arm.c (use_return_insn): Use offsets->saved_regs_mask instead of {arm,thumb}_compute_save_reg_mask. (output_return_instruction): Ditto. (thumb_unexpanded_epilogue): Ditto. (thumb1_expand_prologue): Ditto. (thumb1_output_function_prologue): Ditto. (arm_set_return_address): Ditto. (thumb_set_return_address): Ditto. (arm_get_frame_offsets): Set offsets->saved_regs_mask. Push extra regs to achieve stack alignment. (thumb1_compute_save_reg_mask): Fix compiler warning. (arm_output_epilogue): Use offsets->saved_regs_mask. Adjust stack pointer by poping call clobered registers. (arm_expand_prologue): Use offsets->saved_regs_mask. Adjust stack pointer by pushing extra registers. * config/arm.h (arm_stack_offsets): Add saved_regs_mask. 2008-03-12 Paolo Bonzini PR tree-opt/35422 * fold-const.c (fold_unary) : Distribute a narrowing conversion to the operands of a multiplication. 2008-03-12 Richard Guenther * Makefile.in (OBJS-common): Add tree-ssa-phiprop.o (tree-ssa-phiprop.o): Copy dependencies from tree-ssa-forwprop.o. * timevar.def (TV_TREE_PHIPROP): Add. * tree-ssa-phiprop.c: Split from tree-ssa-forwprop.c, added pass description. Use TV_TREE_PHIPROP. * tree-ssa-forwprop.c: Remove phiprop code. 2008-03-12 Jakub Jelinek PR middle-end/35549 * omp-low.c (maybe_lookup_decl): Constify first argument. (use_pointer_for_field): Change last argument from bool to omp_context *. Disallow shared copy-in/out in nested parallel if decl is shared in outer parallel too. (build_outer_var_ref, scan_sharing_clauses, lower_rec_input_clauses, lower_copyprivate_clauses, lower_send_clauses, lower_send_shared_vars): Adjust callers. 2008-03-12 Victor Kaplansky Ira Rosen * tree-vectorizer.c (free_stmt_vec_info): New function. (destroy_loop_vec_info): Move code to free_stmt_vec_info(). Call free_stmt_vec_info(). Free LOOP_VINFO_STRIDED_STORES.. * tree-vectorizer.h (free_stmt_vec_info): Declare. * tree-vect-transform.c (vectorizable_conversion): Free vec_oprnds0 if it was allocated. (vect_permute_store_chain): Remove unused VECs. (vectorizable_store): Free VECs that are allocated in the.. function. (vect_transform_strided_load, vectorizable_load): Likewise. (vect_remove_stores): Simplify the code. (vect_transform_loop): Move code to vect_remove_stores(). Call vect_remove_stores() and free_stmt_vec_info(). 2008-03-11 John David Anglin * pa.h (TARGET_LONG_PIC_SDIFF_CALL): Conditionalize define on TARGET_HPUX. Revise comment. (TARGET_LONG_PIC_PCREL_CALL): Revise comment. * pa.c (output_call): Update for revised TARGET_LONG_PIC_SDIFF_CALL. Use sr4 variant of `be' instruction when not generating PIC code. (attr_length_call): Adjust for above change. 2008-03-11 Andrew Pinski * ipa-reference.c (static_execute): Remove module_statics_const and associated setting code. 2008-03-11 Uros Bizjak PR target/35540 * config/i386/i386.md (paritysi2, paritydi2): Use register_operand predicate for operand 1. (paritysi2_cmp): Use register_operand predicate for operand 2. Use earlyclobber modifier for operand 1. Remove support for memory operands. (paritydi2_cmp): Use register_operand predicate for operand 3. Use earlyclobber modifier for operand 1. Remove support for memory operands. 2008-03-11 Paul Brook Vladimir Prus * config/arm/arm.c (use_return_insn): Check TARGET_APCS_FRAME. (arm_compute_save_reg0_reg12_mask): Always check if register 11 must be saved. Always safe hard frame pointer when frame_pointer_needeed. (arm_compute_save_reg_mask): Save IP and PC only with apcs frames. (arm_output_epilogue): Adjust Thumb2 codepath to be also invoked and work for ARM non-apcs frames. (arm_expand_prologue): Don't bother saving IP for non-apcs frame, since it's not clobbered by prologue code. Implement non-apcs frame layout. 2008-03-11 Paolo Bonzini PR rtl-optimization/35281 * expr.c (convert_move): Use a new pseudo for the intermediate from_mode->word_mode result. 2008-03-11 Paolo Bonzini * langhooks-def.h (LANG_HOOKS_CLEAR_BINDING_STACK): Delete. * langhooks.h (struct lang_hooks): Delete clear_binding_stack member. * toplev.c (compile_file): Don't call it. 2008-03-11 Uros Bizjak PR middle-end/35526 * expr.c (store_expr): Call emit_block_move if the mode of "temp" RTX is BLKmode. 2008-03-11 Andrew Pinski Richard Guenther PR tree-optimization/31358 * tree-ssa-loop-manip.c (create_iv): Call force_gimple_operand for the step with a NULL_TREE. * tree-ssa-loop-ivopts.c (find_bivs): Convert the step to sizetype if type is a pointer type. (add_candidate_1): Don't convert the base and step to the generic type if the orginal type is a pointer type. (add_iv_value_candidates): Use sizetype for the step if type is a pointer type. (cand_value_at): Likewise. * tree-ssa-address.c (add_to_parts): Use POINTER_PLUS_EXPR for pointer types. * tree-affine.c (tree_to_aff_combination ): Don't convert the tem affine to the type. (add_elt_to_tree): Use sizetype for the step if a pointer. Use POINTER_PLUS_EXPR for pointers. (aff_combination_to_tree): Use sizetype for the step if a pointer. 2008-03-10 Vladimir Makarov * config/i386/sse.md (ssse3_pmaddubswv8hi3, ssse3_pmaddubswv4hi3): Remove commutativity hint. 2008-03-10 Jakub Jelinek PR c/35438 PR c/35439 * c-parser.c (c_parser_omp_threadprivate): Don't add vars with errorneous type. Check that v is a VAR_DECL. PR middle-end/35099 * tree-cfg.c (new_label_mapper): Update cfun->last_label_uid. 2008-03-10 H.J. Lu PR tree-optimization/35494 * tree-ssa-ccp.c (get_symbol_constant_value): Check if value may be overriden at link and run time. 2008-03-10 Richard Guenther PR tree-optimization/34677 * tree-ssa-pre.c (modify_expr_node_pool): Remove. (poolify_tree): Likewise. (modify_expr_template): Likewise. (poolify_modify_stmt): Likewise. (insert_fake_stores): Handle all component-ref style stores in addition to INDIRECT_REF. Also handle complex types. Do not poolify the inserted load. (realify_fake_stores): Do not rebuild the tree but only make it a SSA_NAME copy. (init_pre): Remove initialzation of modify_expr_template. Do not allocate modify_expr_node_pool. (fini_pre): Do not free modify_expr_node_pool. 2008-03-10 Paul Brook * config/arm/arm.md (UNSPEC_STACK_ALIGN, UNSPEC_PIC_OFFSET): Renumber to avoid conflicts. 2008-03-10 Paul Brook Mark Shinwell * config/arm/cortex-r4.md: New. * config/arm/thumb2.md (divsi3, udivsi3): Annotate with insn attributes. * config/arm/arm.md: Include cortex-r4.md. (insn): Add smmls, sdiv and udiv values. (generic_sched): Don't use generic scheduling for Cortex-R4. (arm_issue_rate): New function. (TARGET_SCHED_ISSUE_RATE): Define. 2008-03-10 Sebastian Pop * doc/invoke.texi (-ftree-loop-distribution): Add an example. 2008-03-10 Richard Guenther * tree-ssa-pre.c (get_sccvn_value): Simplify. (compute_avail): Do not add stmt uses to AVAIL_OUT. 2008-03-10 Paolo Bonzini * langhooks-def.h (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Set default to true. 2008-03-09 Ralf Wildenhues * c.opt (Wsynth): Deprecate. * doc/invoke.texi (Option Summary, Warning Options): Document -Wno-format-contains-nul. 2008-03-09 Uros Bizjak PR target/35496 * config/i386/i386.c (ix86_constant_alignment): Compute alignment using ALIGN_MODE_128 for VECTOR_CST and INTEGER_CST in addition to REAL_CST. 2008-03-09 Ira Rosen * config/rs6000/rs6000.c (builtin_description): Rename vector left shift operations. * config/rs6000/altivec.md (UNSPEC_VSL): Remove. (altivec_vsl): Rename to ... (ashl3): ... new name. (mulv4sf3, mulv4si3, negv4sf2): Replace gen_altivec_vslw with gen_ashlv4si3. (absv4sf2): Convert to use ashift:V4SI instead of UNSPEC_VSL. 2008-03-08 Richard Guenther * coverage.h (tree_coverage_counter_addr): Declare. * coverage.c (tree_coverage_counter_addr): New function. * tree-profile.c (tree_gen_edge_profiler): Unshare counter before using again. (tree_gen_pow2_profiler): Use tree_coverage_counter_addr. (tree_gen_one_value_profiler): Likewise. (tree_gen_ic_profiler): Likewise. (tree_gen_average_profiler): Likewise. (tree_gen_ior_profiler): Likewise. 2008-03-08 Richard Guenther * tree-ssa-sccvn.h (vn_binary_op_lookup): Remove. (vn_binary_op_insert): Likewise. (vn_unary_op_lookup): Likewise. (vn_unary_op_insert): Likewise. (vn_nary_op_lookup): Declare. (vn_nary_op_insert): Likewise. * tree-ssa-sccvn.c (struct vn_tables_s): Merge unary and binary hashes, use a single obstack for unary_op_pool and binary_op_pool. (struct vn_binary_op_s, struct vn_unary_op_s): Replace with a single struct vn_nary_op_s. Store tree code length and a variable number of operands. (struct vn_reference_op_struct): Remove unused op2. (vn_reference_op_eq): Do not compare op2. (vn_reference_op_compute_hash): Do not compute hash of op2. (vn_unary_op_hash, vn_binary_op_hash): Replace with vn_nary_op_hash. (vn_unary_op_compute_hash, vn_binary_op_compute_hash): Replace with vn_nary_op_compute_hash. (vn_unary_op_eq, vn_binary_op_eq): Replace with vn_nary_op_eq. (vn_unary_op_lookup, vn_binary_op_lookup): Replace with vn_nary_op_lookup. (vn_unary_op_insert, vn_binary_op_insert): Replace with vn_nary_op_insert. (visit_unary_op): Call nary functions. (visit_binary_op): Likewise. (process_scc): Adjust for struct vn_tables_s changes. (allocate_vn_table): Likewise. (free_vn_table): Likewise. * tree-vn.c (vn_add): Call nary functions. (vn_lookup): Likewise. 2008-03-08 Jakub Jelinek PR target/35498 * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): Shift wdst back after sync_compare_and_swapqhi_internal. 2008-03-08 Uros Bizjak PR target/22152 * config/i386/i386-modes.def (V1DI): New vector mode. * config/i386/i386.h (VALID_MMX_REG_MODE): Add V1DImode. * config/i386/mmx.md (MMXMODEI8): New mode iterator. (MMXMODE248): Ditto. (MMXMODE): Add V1DI mode. (mmxvecsize): Change DI mode to V1DI mode. ("mov): Use MMXMODEI8 mode iterator. ("*mov_internal_rex64"): Ditto. ("*mov_internal"): Ditto. ("mmx_add3"): Ditto. Handle V1DImode for TARGET_SSE2. ("mmx_sub3"): Ditto. ("mmx_adddi3"): Remove insn pattern. ("mmx_subdi3"): Ditto. ("mmx_ashr3"): Use SImode and "yN" constraint for operand 2. ("mmx_lshr3"): Ditto. Use MMXMODE248 mode iterator. ("mmx_ashl3"): Ditto. ("mmx_lshrdi3"): Remove insn pattern. ("mmx_ashldi3"): Ditto. * config/i386/i386.c (classify_argument): Handle V1DImode. (function_arg_advance_32): Ditto. (function_arg_32): Ditto. (struct builtin_description) [IX86_BUILTIN_PADDQ]: Use mmx_addv1di3 insn pattern. [IX86_BUILTIN_PSUBQ]: Use mmx_subv1di3 insn pattern. [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?, IX86_BUILTIN_PSRA?, IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I, IX86_BUILTIN_PSRA?I, IX86_BUILTIN_PSLL?I128, IX86_BUILTIN_PSRL?I128, IX86_BUILTIN_PSRA?I128]: Remove definitions of built-in functions. (V1DI_type_node): New node. (v1di_ftype_v1di_int): Ditto. (v1di_ftype_v1di_v1di): Ditto. (v2si_ftype_v2si_si): Ditto. (v4hi_ftype_v4hi_di): Remove node. (v2si_ftype_v2si_di): Ditto. (ix86_init_mmx_sse_builtins): Handle V1DImode. (__builtin_ia32_psll?, __builtin_ia32_psrl?, __builtin_ia32_psra?): Redefine builtins using def_builtin_const with *_ftype_*_int node. (__builtin_ia32_psll?i, __builtin_ia32_psrl?i, __builtin_ia32_psra?i): Add new builtins using def_builtin_const. (ix86_expand_builtin) [IX86_BUILTIN_PSLL?, IX86_BUILTIN_PSRL?, IX86_BUILTIN_PSRA?, IX86_BUILTIN_PSLL?I, IX86_BUILTIN_PSRL?I, IX86_BUILTIN_PSRA?I]: Handle builtin definitions. * config/i386/mmintrin.h (__v1di): New typedef. (_mm_add_si64): Cast arguments to __v1di type. (_mm_sub_si64): Ditto. (_mm_sll_pi16): Cast __count to __v4hi type. (_mm_sll_pi32): Cast __count to __v2si type. (_mm_sll_si64): Cast arguments to __v1di type. (_mm_srl_pi16): Cast __count to __v4hi type. (_mm_srl_pi32): Cast __count to __v2si type. (_mm_srl_si64): Cast arguments to __v1di type. (_mm_sra_pi16): Cast __count to __v4hi type. (_mm_sra_pi32): Cast __count to __v2si type. (_mm_slli_pi16): Use __builtin_ia32_psllwi. (_mm_slli_pi32): Use __builtin_ia32_pslldi. (_mm_slli_si64): Use __builtin_ia32_psllqi. Cast __m to __v1di type. (_mm_srli_pi16): Use __builtin_ia32_psrlwi. (_mm_srli_pi32): Use __builtin_ia32_psrldi. (_mm_srli_si64): Use __builtin_ia32_psrlqi. Cast __m to __v1di type. (_mm_srai_pi16): Use __builtin_ia32_psrawi. (_mm_srai_pi32): Use __builtin_ia32_psradi. * config/i386/i386.md (UNSPEC_NOP): Remove unspec definition. * doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?, __builtin_ia32_psrl?, __builtin_ia32_psra?, __builtin_ia32_psll?i, __builtin_ia32_psrl?i, __builtin_ia32_psra?i]: Add new builtins. 2008-03-07 Joseph Myers * doc/include/texinfo.tex: Update to version 2008-03-07.10. 2008-03-07 Peter Bergner PR target/35373 * config/rs6000/rs6000.c (rs6000_legitimize_address): Don't generate reg+const addressing for Altivec modes. Don't generate reg+reg addressing for TFmode or TDmode quantities. 2008-03-07 Paolo Bonzini * c-common.c (vector_types_convertible_p): Call langhook instead of comptypes. 2008-03-06 Andrew Pinski PR tree-opt/35402 * tree-ssa-ccp.c (get_symbol_constant_value): Handle integral and scalar float variables which have a NULL DECL_INITIAL. 2008-03-06 Nathan Froyd * dwarf2out.c (dwarf2out_frame_debug_expr): Consult the dwarf_register_span hook when emitting unwind information for register-to-memory saves. * config/rs6000/rs6000.c (spe_synthesize_frame): Delete. (rs6000_frame_related): Remove call to spe_synthesize_frame. 2008-03-06 Jakub Jelinek * gimplify.c (goa_lhs_expr_p): Allow different ADDR_EXPR nodes for the same VAR_DECL. 2008-03-06 Tom Tromey * treelang: Delete. * doc/standards.texi (Standards): Don't mention treelang. * doc/invoke.texi (Overall Options): Don't mention treelang. * doc/install.texi (Prerequisites): Don't mention bison or treelang. (Configuration): Don't mention treelang. (Building): Likewise. * doc/frontends.texi (G++ and GCC): Don't mention treelang. 2008-03-06 Paolo Bonzini * simplify-rtx.c (simplify_subreg): Remove useless shifts from word-extractions out of a multi-word object. 2008-03-06 Richard Guenther * tree.def (BIT_FIELD_REF): Constrain result type and its precision. * tree-cfg.c (verify_expr): Verify BIT_FIELD_REF constraints on result type and precision. * expr.c (get_inner_reference): Set unsignedp based on the result type of BIT_FIELD_REF. * tree.h (BIT_FIELD_REF_UNSIGNED): Remove. * tree-sra.c (instantiate_element): Do not set BIT_FIELD_REF_UNSIGNED. (try_instantiate_multiple_fields): Likewise. Use the correct type for BIT_FIELD_REF. (sra_build_assignment): Likewise. (sra_build_elt_assignment): Likewise. (sra_explode_bitfield_assignment): Likewise. * print-tree.c (print_node): Do not check BIT_FIELD_REF_UNSIGNED. * tree-vect-transform.c (vect_create_epilog_for_reduction): Do not set BIT_FIELD_REF_UNSIGNED. (vectorizable_load): Likewise. 2008-03-06 Andreas Krebbel * cse.c (cse_extended_basic_block): Invalidate artificial defs at bb start. 2008-03-06 Richard Guenther * alias.c (struct alias_set_entry): Move has_zero_child field to pack with alias_set. 2008-03-05 H.J. Lu * config/i386/i386-modes.def: Use 4 byte alignment on DI for 32bit host. 2008-03-05 Ian Lance Taylor * alias.h (alias_set_type): Change from HOST_WIDE_INT to int. 2008-03-05 Kenneth Zadeck * fwprop.c (update_df): Support width and offset parameters of df_ref_create. * ra-conflict.c (mark_reg_store, clear_reg_in_live, global_conflicts): Change DF_REF_EXTRACT to either DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART. * df-scan.c (df_ref_record, df_defs_record, df_ref_create_structure, df_def_record_1, df_uses_record, df_get_conditional_uses, df_get_call_refs, df_insn_refs_collect, df_bb_refs_collect, df_entry_block_defs_collect, df_exit_block_uses_collect): Support new width and offset fields. (ref_extract_pool): New storage pool. (df_free_ref): New function. (df_reg_chain_unlink, df_free_collection_rec, df_sort_and_compress_refs): Call df_free_ref. (df_ref_equal_p, df_ref_compare): Compare offset and width fields of df_ref_extract. (df_ref_create_structure): Allocate df_ref_extract if offset and width fields are used. (df_def_record_1): Get offset and width from ZERO_EXTRACT. (df_uses_record): Get offset and width from ZERO_EXTRACT and SIGN_EXTRACT. * global.c (build_insn_chain): Change DF_REF_EXTRACT to either DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART. * df.h (df_ref_flags): Change DF_REF_EXTRACT to either DF_REF_ZERO_EXTRACT or DF_REF_SIGN_EXTRACT. Change DF_REF_STRICT_LOWER_PART to DF_REF_STRICT_LOW_PART. (df_ref_extract): New structure. (DF_REF_WIDTH, DF_REF_OFFSET): New macros. (df_ref_create): Add width and offset parameters. 2008-03-05 Richard Guenther * tree-ssa-structalias.c (get_constraint_for_component_ref): Use ranges_overlap_p. (offset_overlaps_with_access): Rename to ranges_overlap_p and move ... * tree-flow-inline.h (ranges_overlap_p): ... here. * tree.h (get_inner_reference, handled_component_p): Update comments. * tree.h (record_component_aliases, get_alias_set, alias_sets_conflict_p, alias_sets_must_conflict_p, objects_must_conflict_p): Move declarations ... * alias.h (record_component_aliases, get_alias_set, alias_sets_conflict_p, alias_sets_must_conflict_p, objects_must_conflict_p): ... here. Include coretypes.h. * Makefile.in (ALIAS_H): Add coretypes.h dependency. 2008-03-05 Aldy Hernandez * cfg.c: Include tree-flow.h. (remove_edge_raw): Call redirect_edge_var_map_clear. (redirect_edge_succ_nodup): Call redirect_edge_var_map_dup. * tree-flow-inline.h (redirect_edge_var_map_def): New. (redirect_edge_var_map_result): New. * tree-cfgcleanup.c (remove_forwarder_block_with_phi): Replace PENDING_STMT use with redirect_edge_var_map_*. * tree-ssa.c (edge_var_maps): New definition. (redirect_edge_var_map_add): New. (redirect_edge_var_map_clear): New. (redirect_edge_var_map_dup): New. (redirect_edge_var_map_vector): New. (redirect_edge_var_map_destroy): New. (ssa_redirect_edge): Replace PENDING_STMT use with redirect_edge_var_map_*. (flush_pending_stmts): Same. (delete_tree_ssa): Destroy edge var map. * tree-flow.h (struct _edge_var_map): New. Define edge_var_map vector type. Declare redirect_edge_var_map_* prototypes. * Makefile.in (cfg.o): Depend on TREE_FLOW_H. * tree-cfg.c (reinstall_phi_args): Replace PENDING_STMT use with redirect_edge_var_map_*. 2008-03-05 Richard Guenther PR tree-optimization/35472 * tree-ssa-dse.c (dse_optimize_stmt): Do not delete a store whose single use_stmt has a overlapping set of loaded and stored symbols as that use_stmt might be a noop assignment then. 2008-03-05 Joel Sherrill * gthr-rtems.h: Implement __gthread_mutex_destroy. 2008-03-05 Richard Guenther PR c++/35336 * tree.def (BIT_FIELD_REF): Document that operands 1 and 2 should be constants. * tree-cfg.c (verify_expr): Verify it. * fold-const.c (fold_truthop): Remove code generating BIT_FIELD_REFs of structure bases. (fold_binary): Likewise. (fold_ternary): Position and size of BIT_FIELD_REFs are always host integers. (make_bit_field_ref): Remove. (optimize_bit_field_compare): Remove. (all_ones_mask_p): Remove. 2008-03-05 Gabor Loki PR gcc/33009 * rtl-factoring.c (clear_regs_live_in_seq): Fix backward steps. (split_block_and_df_analyze): New. Split basic block and rebuild dataflow. (block_label_after): Use SPLIT_BLOCK_AND_DF_ANALYZE instead of SPLIT_BLOCK. (split_pattern_seq): Likewise. (erase_matching_seqs): Likewise. (split_pattern_seq): Skip return insn in case of REG_NORETURN note. 2008-03-04 Geoff Keating * fold-const.c (tree_single_nonnegative_warnv_p): Fix mixed declaration and code. (tree_invalid_nonnegative_warnv_p): Likewise. 2008-03-05 Serge Belyshev * doc/install.texi (Testing): Correct quoting for the RUNTESTFLAGS examples. Truncate option-names then causing overfull hbox. 2008-03-04 John David Anglin PR target/35222 * configure.ac (CONFIG_SJLJ_EXCEPTIONS): Force SJLJ exceptions on hpux10. * configure: Rebuilt. 2008-03-04 Rafael Espindola * fold-const.c (tree_simple_nonnegative_warnv_p): New. (tree_unary_nonnegative_warnv_p): New. (tree_binary_nonnegative_warnv_p): New. (tree_single_nonnegative_warnv_p): New. (tree_invalid_nonnegative_warnv_p): New. (tree_expr_nonnegative_warnv_p): Redefine in term of the new functions. 2008-03-04 Manuel Lopez-Ibanez PR 28322 * opts.c (handle_option): Postpone 'unknown option' errors only for warning options. 2008-03-04 H.J. Lu PR target/35453 * config/i386/smmintrin.h (SIDD_XXX): Renamed to ... (_SIDD_XXX): This. 2008-03-04 Rafael Espindola * fold-const.c (tree_unary_nonzero_warnv_p): New. (tree_binary_nonzero_warnv_p): New. (tree_single_nonzero_warnv_p): New. (tree_expr_nonzero_warnv_p): Redefine using the new functions. 2008-03-04 Uros Bizjak PR middle-end/35456 * fold-const.c (fold_cond_expr_with_comparison): Prevent transformations for modes that have signed zeros. * ifcvt.c (noce_try_abs): Ditto. 2008-03-04 Joseph Myers * config/i386/i386.c (override_options): Force -maccumulate-outgoing-args on if TARGET_STACK_PROBE. 2008-03-04 Jan Hubicka PR c++/35262 * ipa-inline.c (cgraph_decide_inlining_of_small_function): Fix typo in last commit. 2008-03-04 Danny Smith * config/i386/i386.md (allocate_stack_worker_32): Use __chkstk label to probe the stack. 2008-03-04 Danny Smith * gthr-win32.h [__GTHREAD_HIDE_WIN32API] (__gthr_win32_mutex_destroy): Declare. [__GTHREAD_HIDE_WIN32API] (__gthread_mutex_destroy): Use __gthr_win32_mutex_destroy. * config/i386/gthr-win32.c (__gthr_win32_mutex_destroy): Define. 2008-03-03 Jan Hubicka PR c++/35262 * ipa-inline.c (cgraph_decide_inlining_of_small_function): Be more aggressive on inlining cold calls. 2008-03-03 Richard Guenther * tree-ssa-sccvn.c (visit_reference_op_store): Do not insert struct copies into the expression table. (simplify_unary_expression): Handle VIEW_CONVERT_EXPR. (try_to_simplify): Likewise. * fold-const.c (fold_unary): Fold VIEW_CONVERT_EXPR of integral and pointer arguments which do not change the precision to NOP_EXPRs. * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Adjust VIEW_CONVERT_EXPR case. 2008-03-02 Sebastian Pop * tree-scalar-evolution.c (instantiate_parameters_1): An SSA_NAME defined in a loop at depth 0 is invariant. * tree-chrec.c (evolution_function_is_invariant_rec_p): Ditto. * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Should never be called at loop depth 0. 2008-03-02 Jakub Jelinek PR driver/35420 * gcc.c (process_command): Update copyright notice dates. * gcov.c (print_version): Likewise. * gcov-dump.c (print_version): Likewise. * mips-tfile.c (main): Likewise. * mips-tdump.c (main): Likewise. 2008-03-02 Manuel Lopez-Ibanez PR 24924 * c-common.c (flag_permissive): Delete. (constant_expression_warnings): Check flags first. (constant_expression_error): New. * c-common.h (flag_permissive): Delete. (constant_expression_error): Declare. * flags.h (flag_permissive): Declare. Update description. * diagnostic.c (pedwarn): Update. (permerror): New. * diagnostic.h: (pedantic_error_kind): Rename as pedantic_warning_kind. (permissive_error_kind): New. * toplev.c (flag_permissive): Define. Update description. * toplev.h (permissive_error_kind): Declare. * c-errors.c (pedwarn_c99): Use pedantic_warning_kind. (pedwarn_c90): Use pedantic_warning_kind. * c-opts.c (c_common_post_options): flag_permissive does not affect flag_pedantic_errors. 2008-03-02 Joseph Myers * libgcc2.c (__addvSI3, __addvsi3, __addvDI3, __subvSI3, __subvsi3, __subvDI3, __negvSI2, __negvsi2, __negvDI2, __absvSI2, __absvsi2, __absvDI2): Use unsigned arithmetic. 2008-03-02 Andi Kleen Richard Guenther * struct-equiv.c: Remove file. * cfg_cleanup.c (condjump_equiv_p): Remove. * Makefile.in (OBJS-common): Remove struct-equiv.o. (struct-equiv.o): Remove rule. * basic-block.h (struct_equiv_checkpoint, STRUCT_EQUIV_*, insns_match_p, struct_equiv_block_eq, struct_equiv_init, rtx_equiv_p, condjump_equiv_p): Remove prototypes. 2008-03-01 Alexandre Oliva * ifcvt.c (noce_process_if_block): Try to handle only the then block if the else block exists but isn't suitable. 2008-03-01 Janne Blomqvist PR gcc/35063 * gthr-posix.h (__gthread_mutex_destroy): Remove extra declarations. * gthr-posix95.h (__gthread_mutex_destroy): Likewise. Note this fixes regression from previous patch. 2008-03-01 Janne Blomqvist PR gcc/35063 * gthr.h: Add __gthread_mutex_destroy as a function that must be implemented. * gthr-vxworks.h (__gthread_mutex_destroy): Null implementation. * gthr-single.h (__gthread_mutex_destroy): Likewise. * gthr-rtems.h (__gthread_mutex_destroy): Likewise. * gthr-mipssde.h (__gthread_mutex_destroy): Likewise. * gthr-nks.h (__gthread_mutex_destroy): Likewise. * gthr-solaris.h (__gthread_mutex_destroy): Call mutex_destroy. * gthr-win32.h (__GTHREAD_MUTEX_DESTROY_FUNCTION): Remove. (__gthread_mutex_destroy_function): Rename to __gthread_mutex_destroy. * gthr-dce.h (__gthread_mutex_destroy): Call pthread_mutex_destroy. * gthr-tpf.h (__gthread_mutex_destroy): Likewise. * gthr-posix.h (__gthread_mutex_destroy): Likewise. * gthr-posix95.h (__gthread_mutex_destroy): Likewise. 2008-03-01 Alexandre Oliva * df-scan.c (df_ref_chain_change_bb): Simplify. (df_insn_change_bb): Add new_bb argument. Simplify. Call set_block_for_insn if there's any change. * df.h ((df_insn_change_bb): Fix prototype. * cfgrtl.c (update_bb_for_insn_chain): Pass bb to df_insn_change_bb, don't call set_block_for_insn. * emit-rtl.c (reorder_insns): Likewise. * haifa-sched.c (move_insn): Likewise. 2008-03-01 Alexandre Oliva * rtlanal.c (loc_mentioned_in_p): Test XVECEXPs correctly. 2008-03-01 Alexandre Oliva * tree-flow-inline.h (next_readonly_imm_use): Return NULL_USE_OPERAND_P after the end. 2008-03-01 Richard Guenther PR tree-optimization/35411 * tree-sra.c (sra_build_assignment): Split conversion to final type to a separate statement if we are not assigning to a register. 2008-02-29 Francois-Xavier Coudert * fold-const.c (fold_convertible_p): Correct the logic to follow that in fold_convert(). 2008-02-29 Douglas Gregor PR c++/35315 * tree-inline.c (build_duplicate_type): When we make a duplicate type, make it unique in the canonical types system. 2008-02-29 Tom Tromey * toplev.c (input_file_stack, input_file_stack_tick, fs_p, input_file_stack_history, input_file_stack_restored): Remove. (push_srcloc, pop_srcloc, restore_input_file_stack): Likewise. * input.h (struct file_stack): Remove. (push_srcloc, pop_srcloc, restore_input_file_stack): Likewise. (input_file_stack, input_file_stack_tick, INPUT_FILE_STACK_BITS): Likewise. * diagnostic.h (struct diagnostic_context) : Change type. (diagnostic_last_module_changed): Add 'map' argument. (diagnostic_set_last_function): Likewise. * diagnostic.c (undiagnostic_report_current_module): Iterate using line map, not input_file_stack. * c-lex.c (fe_file_change): Don't use push_srcloc or pop_srcloc. 2008-02-29 Paul Brook * config/arm/arm.md (arm_addsi3): Add r/k/n alternative. 2008-02-29 Paul Brook * config/arm/ieee754-df.S (muldf3): Use RET macros. 2008-02-29 Richard Guenther * tree-ssa-pre.c (get_sccvn_value): Create missing VNs via vn_lookup_or_add. * tree-ssa-sccnv.c (visit_reference_op_store): Use the rhs value for comparing for a store match. (simplify_unary_expression): Do nothing for SSA_NAMEs. (try_to_simplify): Do not do a full-blown reference lookup. 2008-02-29 Kaz Kojima * config/sh/sh.c (sh_scalar_mode_supported_p): New function. (TARGET_SCALAR_MODE_SUPPORTED_P): Define. * config/sh/sh.h (OVERRIDE_OPTIONS): Don't warn for profiling. 2008-02-29 Sebastian Pop * tree-loop-linear.c (try_interchange_loops): Compare memory access strides against cache sizes. 2008-02-29 Kaz Kojima * config/sh/sh.c (sh_secondary_reload): Handle loading a float constant to fpul. 2008-02-28 Richard Sandiford * simplify-rtx.c (simplify_unary_operation_1): Extend the handling of SUBREG_PROMOTED_VAR_P to cope with cases where the extended value is smaller than the original promoted value. (simplify_subreg): If OP is a SUBREG, try to preserve its SUBREG_PROMOTED_VAR_P information. 2008-02-28 Steven Bosscher * tree-ssa-sccvn (vn_ssa_aux_obstack): New obstack. (VN_INFO_GET): Allocate new objects on the obstack. (init_scc_vn): Initialize the obstack. Use XDELETE instead of free for rpo_numbers_temp, for consistency. (free_scc_vn): Free the obstack. 2008-02-28 Sebastian Pop * doc/invoke.texi: Document -ftree-loop-distribution. * tree-loop-distribution.c: New. * tree-pass.h (pass_loop_distribution): New. * graphds.h (struct graph): Add htab_t indices. * timevar.def (TV_TREE_LOOP_DISTRIBUTION): New. * tree-vectorizer.c (rename_variables_in_loop): Extern. (slpeel_tree_duplicate_loop_to_edge_cfg): Init PENDING_STMT to NULL. * tree-vectorizer.h (tree_duplicate_loop_on_edge): Declared. * tree-data-ref.c (debug_data_dependence_relations): New. (dump_data_dependence_relation): Also print data references. (free_data_ref): Extern. (same_access_functions): Moved... (find_vertex_for_stmt): Renamed rdg_vertex_for_stmt. (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component, debug_rdg_component, dump_rdg, debug_rdg, dot_rdg_1, dot_rdg, struct rdg_vertex_info, rdg_vertex_for_stmt): New. (create_rdg_edge_for_ddr, create_rdg_vertices): Cleaned up. (stmts_from_loop): Skip LABEL_EXPR. (hash_stmt_vertex_info, eq_stmt_vertex_info, hash_stmt_vertex_del): New. (build_rdg): Initialize rdg->indices htab. (free_rdg, stores_from_loop, ref_base_address, rdg_defs_used_in_other_loops_p, have_similar_memory_accesses, have_similar_memory_accesses_1, ref_base_address_1, remove_similar_memory_refs): New. * tree-data-ref.h: Depend on tree-chrec.h. (debug_data_dependence_relations, free_data_ref): Declared. (same_access_functions): ... here. (ddr_is_anti_dependent, ddrs_have_anti_deps, ddr_dependence_level): New. (struct rdg_vertex): Add has_mem_write and has_mem_reads. (RDGV_HAS_MEM_WRITE, RDGV_HAS_MEM_READS, RDG_STMT, RDG_MEM_WRITE_STMT, RDG_MEM_READS_STMT): New. (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component, debug_rdg_component, dump_rdg, debug_rdg, dot_rdg, rdg_vertex_for_stmt): Declared. (struct rdg_edge): Add level. (RDGE_LEVEL): New. (free_rdg, stores_from_loop, remove_similar_memory_refs, rdg_defs_used_in_other_loops_p, have_similar_memory_accesses): Declared. (rdg_has_similar_memory_accesses): New. * tree-vect-analyze.c: Remove unused static decls. * lambda.h (dependence_level): New. * common.opt (ftree-loop-distribution): New. * tree-flow.h (mark_virtual_ops_in_bb, slpeel_tree_duplicate_loop_to_edge_cfg, rename_variables_in_loop): Declared. * Makefile.in (TREE_DATA_REF_H): Depend on tree-chrec.h. (OBJS-common): Add tree-loop-distribution.o. (tree-loop-distribution.o): New rule. * tree-cfg.c (mark_virtual_ops_in_bb): New. (mark_virtual_ops_in_region): Use mark_virtual_ops_in_bb. * passes.c (init_optimization_passes): Schedule pass_loop_distribution. 2008-02-28 Joseph Myers PR target/33963 * tree.c (handle_dll_attribute): Disallow TYPE_DECLs for types other than structures and unions. 2008-02-28 Richard Guenther Revert: 2008-02-26 Richard Guenther * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ... * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here. (lookup_decl_from_uid): Declare. (remove_decl_from_map): Likewise. * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ... * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here. (decl_for_uid_map): New global hashtable mapping DECL_UID to the decl tree. (init_ttree): Allocate it. (insert_decl_to_uid_decl_map): New helper function. (make_node_stat): Insert new decls into the map. (copy_node_stat): Likewise. (lookup_decl_from_uid): New function. (remove_decl_from_map): Likewise. (print_decl_for_uid_map_statistics): New helper. (dump_tree_statistics): Call it. * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap. (referenced_var_iterator): Adjust. (FOR_EACH_REFERENCED_VAR): Adjust. (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator. (num_referenced_vars): Adjust. * tree-flow-inline.h (gimple_referenced_vars): Adjust. (first_referenced_var): Remove. (end_referenced_vars_p): Likewise. (next_referenced_var): Likewise. (referenced_var_iterator_set): New helper function. * tree-dfa.c (referenced_var_lookup): Adjust. (referenced_var_check_and_insert): Likewise. (remove_referenced_var): Likewise. * tree-ssa.c (verify_flow_insensitive_alias_info): Use FOR_EACH_REFERENCED_VAR_IN_BITMAP. (verify_call_clobbering): Likewise. (verify_memory_partitions): Likewise. (init_tree_ssa): Allocate bitmap instead of hashtable for referenced_vars. (delete_tree_ssa): Adjust. * tree-ssa-alias.c (mark_aliases_call_clobbered): Use FOR_EACH_REFERENCED_VAR_IN_BITMAP. (compute_tag_properties): Likewise. (set_initial_properties): Likewise. (find_partition_for): Likewise. (update_reference_counts): Likewise. (dump_may_aliases_for): Likewise. * tree-ssa-operands.c (add_virtual_operand): Likewise. (add_call_clobber_ops): Likewise. (add_call_read_ops): Likewise. (get_asm_expr_operands): Likewise. * tree-into-ssa.c (dump_decl_set): Likewise. (update_ssa): Likewise. * tree-sra.c (scan_function): Likewise. (decide_instantiations): Likewise. (scalarize_parms): Likewise. * tree-ssa-alias-warnings.c (build_reference_table): Likewise. (dsa_named_for): Likewise. * tree-ssa-structalias.c (update_alias_info): Likewise. (merge_smts_into): Likewise. 2008-02-27 David Daney PR target/34409 * config/mips/iris.h (MIPS_DEBUGGING_INFO): Define. * config/mips/openbsd.h (MIPS_DEBUGGING_INFO): Same. * config/mips/sde.h (MIPS_DEBUGGING_INFO): Remove undef. * config/mips/vxworks.h (MIPS_DEBUGGING_INFO): Same. * config/mips/mips.h (MIPS_DEBUGGING_INFO): Remove define. 2008-02-27 Uros Bizjak PR target/25477 * config/darwin-ppc-ldouble-patch.def (BUILT_IN_NANL): Add. (BUILT_IN_NEXTTOWARD): Remove. (BUILT_IN_NEXTTOWARDF): Ditto. * config/darwin.c (darwin_patch_builtin): Use ACONCAT instead of alloca/strcpy/strcat. Remove commented-out code. Fix whitespace. 2008-02-27 Tom Tromey * tree-dump.c (dequeue_and_dump) : Check DECL_SAVED_TREE, not DECL_LANG_SPECIFIC, when dumping body. 2008-02-27 Jan Beulich * c-decl.c (merge_decls): Use DECL_USER_ALIGN() on olddecl to update the respective field on newdecl. 2008-02-27 Revital Eres PR rtl-optimization/34999 * bb-reorder.c (add_labels_and_missing_jumps): Do not handle crossing edges that ends with a call insn. (fix_up_fall_thru_edges): Handle crossing edges that ends with a call insn and clear the EDGE_CROSSING flag of the crossing edge when fixing fallthru edges. 2008-02-27 Richard Guenther PR middle-end/35390 * fold-const.c (fold_unary): Return the correct argument, converted to the result type. 2008-02-27 Richard Guenther PR middle-end/34971 * expr.c (expand_expr_real_1): Assert on rotates that operate on partial modes. * fold-const.c (fold_binary): Use the types precision, not the bitsize of the mode if folding rotate expressions. Build rotates only for full modes. 2008-02-27 Jakub Jelinek * c-ppoutput.c (scan_translation_unit): Handle CPP_PRAGMA and CPP_PRAGMA_EOL. * c-pragma.c (pragma_ns_name): New typedef. (registered_pp_pragmas): New variable. (c_pp_lookup_pragma): New function. (c_register_pragma_1): If flag_preprocess_only, do nothing for non-expanded pragmas, for expanded ones push pragma's namespace and name into registered_pp_pragmas vector. (c_invoke_pragma_handler): Register OpenMP pragmas even when flag_preprocess_only, don't register GCC pch_preprocess pragma if flag_preprocess_only. * c-opts.c (c_common_init): Call init_pragma even if flag_preprocess_only. * c-pragma.c (c_pp_lookup_pragma): New prototype. * config/darwin.h (DARWIN_REGISTER_TARGET_PRAGMAS): Don't call cpp_register_pragma if flag_preprocess_only. 2008-02-26 Ralf Wildenhues PR c/28800 * c-parser.c (c_parser_translation_unit): Warn for empty translation unit, not empty source file. 2008-02-26 Paul Brook * config/arm/arm.c (thumb_set_frame_pointer): Ensure SP is first operand for Thumb-2. * config/arm/arm.h (reg_class): Add CORE_REGS. (REG_CLASS_NAMES, REG_CLASS_CONTENTS): Ditto. (BASE_REG_CLASS): Use CORE_REGS. (PREFERRED_RELOAD_CLASS): Add STACK_REG. (REGNO_MODE_OK_FOR_REG_BASE_P): Use REGNO_MODE_OK_FOR_BASE_P. (REGNO_OK_FOR_INDEX_P): Exclude SP. (ARM_REG_OK_FOR_INDEX_P): Always define. Use ARM_REGNO_OK_FOR_INDEX_P. (ARM_PRINT_OPERAND_ADDRESS): Swap operands for [reg, sp]. * config/arm/arm.md (arm_addsi3, thumb1_addsi3, arm_subsi3_insn, arm_movsi_insn, thumb1_movsi_insni, stack_tie): Add "k" alternatives. (ldm/stm peepholes): Ditto. * config/arm/thumb2.md (thumb2_movdi): Add "k" alternatives. * config/arm/vfp.md (arm_movsi_vfp, thumb2_movsi_vfp): Ditto. * config/arm/iwmmxt.md (iwmmxt_movsi_insn): Ditto. * config/arm/constraints.md: Enable "k" constraint on ARM. 2008-02-27 Ben Elliston * config/rs6000/rs6000.c: Annotate cache line size field in all instances of struct processor_costs. 2008-02-26 David Edelsohn * dbgcnt.def (cfg_cleanup, cprop1, cprop2, dce_fast, dce_ud, dse1, dse2, gcse, if_conversion, if_after_combine, if_after_reload, jump_bypass): New counters. * cfgcleanup.c (cleanup_cfg): Add dbg_cnt. * dce.c (gate_ud_dce): Same. (gate_fast_dce): Same. * dse.c (gate_dse1): New function. (gate_dse2): New function. (gate_dse): Merge results of new gate functions. * gcse.c (gcse_main): Bracket cprop1 and cprop2 with dbg_cnt. (gate_handle_jump_bypass): Add dbg_cnt. (gate_handle_gcse): Add dbg_cnt. * ifcvt.c (gate_handle_if_conversion): Same. (gate_handle_if_after_combine): Same. (gate_handle_if_after_reload): Same. * Makefile.in: Add DBGCNT_H to cfgcleanup.o and ifcvt.o. 2008-02-26 Edmar Wienskoski * config/rs6000/rs6000.c (processor_costs): Update e300 cache line sizes. * doc/invoke.texi: Add e300c2 and e300c3 to list of cpus. 2008-02-26 Jason Merrill PR c++/35315 * attribs.c (decl_attributes): Leave ATTR_FLAG_TYPE_IN_PLACE alone if it's the naming decl for the type's main variant. 2008-02-26 Tom Tromey * system.h (USE_MAPPED_LOCATION): Poison. * Makefile.in (GTFILES): Put CPP_ID_DATA_H first. * tree-cfg.c (make_cond_expr_edges): Remove old location code. (make_goto_expr_edges): Likewise. (remove_bb): Likewise. (execute_warn_function_return): Likewise. * basic-block.h (struct edge_def) : Change type to location_t. * c-common.c (fname_decl): Remove old location code. * tree-vect-transform.c (vect_finish_stmt_generation): Remove old location code. * rtl.h (ASM_OPERANDS_SOURCE_LOCATION): Remove old-location variant. (ASM_INPUT_SOURCE_LOCATION): Likewise. (gen_rtx_ASM_INPUT): Likewise. (gen_rtx_ASM_INPUT_loc): Likewise. (get_rtx_asm_OPERANDS): Remove. * cfglayout.c (insn_locators_alloc): Remove old location code. (set_curr_insn_source_location): Likewise. (curr_insn_locator): Likewise. * print-tree.c (print_node): Remove old location code. * tree-mudflap.c (mf_varname_tree): Remove old location code. (mf_file_function_line_tree): Remove test of USE_MAPPED_LOCATION. * cfgexpand.c (expand_gimple_cond_expr): Don't use location_from_locus. (construct_exit_block): Remove old location code. * emit-rtl.c (force_next_line_note): Remove old location code. * profile.c (branch_prob): Remove old location code. * tree-vectorizer.h (LOC, UNKNOWN_LOC, EXPR_LOC, LOC_FILE, LOC_LINE): Remove old-location variants. * langhooks.c (lhd_print_error_function): Remove old location code. * configure, config.in: Rebuilt. * configure.ac (--enable-mapped-location): Remove. * c-decl.c (c_init_decl_processing): Remove old location code. (finish_function): Likewise. * recog.c (decode_asm_operands): Remove old location code. * c-pch.c (c_common_read_pch): Remove old location code. * rtl.def (ASM_INPUT, ASM_OPERANDS): Remove old location variants. * gimple-low.c (lower_function_body): Remove old location code. * toplev.c (unknown_location): Remove. (push_srcloc): Remove old-location variant. (process_options): Remove old location code. (lang_dependent_init): Likewise. * input.h (UNKNOWN_LOCATION): Move definition. (location_t): Undeprecate. (source_locus): Remove. (location_from_locus): Remove. (struct location_s): Remove. Remove all old-location code. (input_line, input_filename): Remove. * final.c (final_scan_insn): Remove old location code. * diagnostic.c (diagnostic_build_prefix): Remove USE_MAPPED_LOCATION test. * tree.h (gimple_stmt) : Now a location_t. (tree_exp) : Likewise. (DECL_IS_BUILTIN): Remove old-location variant. (annotate_with_file_line, annotate_with_locus): Likewise. (expr_locus, set_expr_locus): Update. * tree.c (build1_stat): Remove old location code. (last_annotated_node): Remove. (annotate_with_file_line): Remove old-location variant. (annotate_with_locus): Likewise. (expr_location): Remove old location code. (set_expr_location): Likewise. (expr_has_location): Likewise. (expr_locus): Likewise. (set_expr_locus): Likewise. (expr_filename): Don't use location_from_locus. (expr_lineno): Likewise. * rtl-error.c (location_for_asm): Remove old location code. * c-lex.c (cb_line_change): Remove old location code. (fe_file_change): Likewise. (cb_def_pragma): Likewise. (c_lex_with_flags): Likewise. * gengtype.c (do_typedef): Don't special-case location types. (define_location_structures): Remove. (main): Don't call define_location_structures. * tree-pretty-print.c (dump_implicit_edges): Remove old location code. 2008-02-26 Manuel Lopez-Ibanez PR 26264 * builtins.def (BUILT_IN_STDARG_START): Remove. * builtins.c (expand_builtin): Remove BUILT_IN_STDARG_START. * tree-stdarg.c (execute_optimize_stdarg): Likewise. * tree-inline.c (inline_forbidden_p_1): Likewise. 2008-02-26 Richard Guenther * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ... * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here. (lookup_decl_from_uid): Declare. (remove_decl_from_map): Likewise. * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ... * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here. (decl_for_uid_map): New global hashtable mapping DECL_UID to the decl tree. (init_ttree): Allocate it. (insert_decl_to_uid_decl_map): New helper function. (make_node_stat): Insert new decls into the map. (copy_node_stat): Likewise. (lookup_decl_from_uid): New function. (remove_decl_from_map): Likewise. (print_decl_for_uid_map_statistics): New helper. (dump_tree_statistics): Call it. * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap. (referenced_var_iterator): Adjust. (FOR_EACH_REFERENCED_VAR): Adjust. (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator. (num_referenced_vars): Adjust. * tree-flow-inline.h (gimple_referenced_vars): Adjust. (first_referenced_var): Remove. (end_referenced_vars_p): Likewise. (next_referenced_var): Likewise. (referenced_var_iterator_set): New helper function. * tree-dfa.c (referenced_var_lookup): Adjust. (referenced_var_check_and_insert): Likewise. (remove_referenced_var): Likewise. * tree-ssa.c (verify_flow_insensitive_alias_info): Use FOR_EACH_REFERENCED_VAR_IN_BITMAP. (verify_call_clobbering): Likewise. (verify_memory_partitions): Likewise. (init_tree_ssa): Allocate bitmap instead of hashtable for referenced_vars. (delete_tree_ssa): Adjust. * tree-ssa-alias.c (mark_aliases_call_clobbered): Use FOR_EACH_REFERENCED_VAR_IN_BITMAP. (compute_tag_properties): Likewise. (set_initial_properties): Likewise. (find_partition_for): Likewise. (update_reference_counts): Likewise. (dump_may_aliases_for): Likewise. * tree-ssa-operands.c (add_virtual_operand): Likewise. (add_call_clobber_ops): Likewise. (add_call_read_ops): Likewise. (get_asm_expr_operands): Likewise. * tree-into-ssa.c (dump_decl_set): Likewise. (update_ssa): Likewise. * tree-sra.c (scan_function): Likewise. (decide_instantiations): Likewise. (scalarize_parms): Likewise. * tree-ssa-alias-warnings.c (build_reference_table): Likewise. (dsa_named_for): Likewise. * tree-ssa-structalias.c (update_alias_info): Likewise. (merge_smts_into): Likewise. 2008-02-26 Manuel Lopez-Ibanez PR 34351 * doc/invoke.texi (-Wall): Add -Wvolatile-register-var. * c-opts.c (c_common_handle_option): Wall enables Wvolatile-register-var. * common.opt: Move Wvolatile-register-var to... * c.opt: ...here. 2008-02-26 Manuel Lopez-Ibanez * common.opt (Wlarger-than=): New. * doc/invoke.texi (Warning Options): Replace -Wlarger-than- with -Wlarger-than=. * opts.c (common_handle_option): Handle -Wlarger-than=. * optc-gen.awk: Likewise. * opth-gen.awk: Likewise. * stor-layout.c (layout_decl): Use -Wlarger-than= for warning. * tree-optimize.c (tree_rest_of_compilation): Likewise. 2008-02-26 Manuel Lopez-Ibanez * c-common.c (match_case_to_enum_1): Add appropriate OPT_W* parameter to warning. (c_do_switch_warnings): Likewise. * c-typeck.c (warning_init): Add one more parameter following 'warning' function. (push_init_level): Update call to warning_init. (pop_init_level): Likewise. (add_pending_init): Likewise. (output_init_element: Likewise. 2008-02-26 Manuel Lopez-Ibanez PR 28322 * toplev.c (toplev_main): If there are warnings or error, print errors for ignored options. * opts.c (ignored_options): New static variable. (postpone_unknown_option_error): New. (print_ignored_options): New. (handle_option): Postpone errors for unknown -Wno-* options. * opts.h (print_ignored_options): Declare. 2008-02-25 Richard Sandiford * config/mips/mips.md (loadgp_blockage, blockage): Change type to "ghost". 2008-02-25 Richard Guenther Revert: 2008-02-25 Richard Guenther * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ... * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here. (lookup_decl_from_uid): Declare. * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ... * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here. (decl_for_uid_map): New global hashtable mapping DECL_UID to the decl tree. (init_ttree): Allocate it. (insert_decl_to_uid_decl_map): New helper function. (make_node_stat): Insert new decls into the map. (copy_node_stat): Likewise. (lookup_decl_from_uid): New function. (print_decl_for_uid_map_statistics): New helper. (dump_tree_statistics): Call it. * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap. (referenced_var_iterator): Adjust. (FOR_EACH_REFERENCED_VAR): Adjust. (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator. (num_referenced_vars): Adjust. * tree-flow-inline.h (gimple_referenced_vars): Adjust. (first_referenced_var): Remove. (end_referenced_vars_p): Likewise. (next_referenced_var): Likewise. (referenced_var_iterator_set): New helper function. * tree-dfa.c (referenced_var_lookup): Adjust. (referenced_var_check_and_insert): Likewise. (remove_referenced_var): Likewise. * tree-ssa.c (verify_flow_insensitive_alias_info): Use FOR_EACH_REFERENCED_VAR_IN_BITMAP. (verify_call_clobbering): Likewise. (verify_memory_partitions): Likewise. (init_tree_ssa): Allocate bitmap instead of hashtable for referenced_vars. (delete_tree_ssa): Adjust. * tree-ssa-alias.c (mark_aliases_call_clobbered): Use FOR_EACH_REFERENCED_VAR_IN_BITMAP. (compute_tag_properties): Likewise. (set_initial_properties): Likewise. (find_partition_for): Likewise. (update_reference_counts): Likewise. (dump_may_aliases_for): Likewise. * tree-ssa-operands.c (add_virtual_operand): Likewise. (add_call_clobber_ops): Likewise. (add_call_read_ops): Likewise. (get_asm_expr_operands): Likewise. * tree-into-ssa.c (dump_decl_set): Likewise. (update_ssa): Likewise. * tree-sra.c (scan_function): Likewise. (decide_instantiations): Likewise. (scalarize_parms): Likewise. * tree-ssa-alias-warnings.c (build_reference_table): Likewise. (dsa_named_for): Likewise. * tree-ssa-structalias.c (update_alias_info): Likewise. (merge_smts_into): Likewise. 2008-02-25 Janne Blomqvist PR fortran/29549 * doc/invoke.texi (-fcx-limited-range): Document new option. * toplev.c (process_options): Handle -fcx-fortran-rules. * common.opt: Add documentation for -fcx-fortran-rules. 2008-02-25 Janne Blomqvist PR c/35162 * doc/invoke.texi (-fcx-limited-range): Correct to be in line with actual behaviour and C99. 2008-02-26 Ben Elliston * config/rs6000/rs6000.h (ASM_CPU_POWER5_SPEC): Define. (ASM_CPU_POWER6_SPEC): Likewise. (ASM_CPU_SPEC): Pass %(asm_cpu_power5) for -mcpu=power5. Likewise, pass %(asm_cpu_power6) for -mcpu=power6. (EXTRA_SPECS): Add asm_cpu_power5, asm_cpu_power6 spec strings. 2008-02-25 Richard Guenther * tree-flow.h (uid_decl_map_hash, uid_decl_map_eq): Move ... * tree.h (uid_decl_map_hash, uid_decl_map_eq): ... here. (lookup_decl_from_uid): Declare. * tree-ssa.c (uid_decl_map_eq, uid_decl_map_hash): Move ... * tree.c (uid_decl_map_eq, uid_decl_map_hash): ... here. (decl_for_uid_map): New global hashtable mapping DECL_UID to the decl tree. (init_ttree): Allocate it. (insert_decl_to_uid_decl_map): New helper function. (make_node_stat): Insert new decls into the map. (copy_node_stat): Likewise. (lookup_decl_from_uid): New function. (print_decl_for_uid_map_statistics): New helper. (dump_tree_statistics): Call it. * tree-flow.h (struct gimple_df): Make referenced_vars a bitmap. (referenced_var_iterator): Adjust. (FOR_EACH_REFERENCED_VAR): Adjust. (FOR_EACH_REFERENCED_VAR_IN_BITMAP): New iterator. (num_referenced_vars): Adjust. * tree-flow-inline.h (gimple_referenced_vars): Adjust. (first_referenced_var): Remove. (end_referenced_vars_p): Likewise. (next_referenced_var): Likewise. (referenced_var_iterator_set): New helper function. * tree-dfa.c (referenced_var_lookup): Adjust. (referenced_var_check_and_insert): Likewise. (remove_referenced_var): Likewise. * tree-ssa.c (verify_flow_insensitive_alias_info): Use FOR_EACH_REFERENCED_VAR_IN_BITMAP. (verify_call_clobbering): Likewise. (verify_memory_partitions): Likewise. (init_tree_ssa): Allocate bitmap instead of hashtable for referenced_vars. (delete_tree_ssa): Adjust. * tree-ssa-alias.c (mark_aliases_call_clobbered): Use FOR_EACH_REFERENCED_VAR_IN_BITMAP. (compute_tag_properties): Likewise. (set_initial_properties): Likewise. (find_partition_for): Likewise. (update_reference_counts): Likewise. (dump_may_aliases_for): Likewise. * tree-ssa-operands.c (add_virtual_operand): Likewise. (add_call_clobber_ops): Likewise. (add_call_read_ops): Likewise. (get_asm_expr_operands): Likewise. * tree-into-ssa.c (dump_decl_set): Likewise. (update_ssa): Likewise. * tree-sra.c (scan_function): Likewise. (decide_instantiations): Likewise. (scalarize_parms): Likewise. * tree-ssa-alias-warnings.c (build_reference_table): Likewise. (dsa_named_for): Likewise. * tree-ssa-structalias.c (update_alias_info): Likewise. (merge_smts_into): Likewise. 2008-02-25 Andreas Krebbel PR target/35258 * cse.c (cse_insn): Avoid creation of overlapping MEMs. * alias.c (nonoverlapping_memrefs_p): Export for use in other modules. * alias.h (nonoverlapping_memrefs_p): Likewise. 2008-02-25 Jan Beulich * Makefile.in: Also prefix uses of crt0.o and mcrt0.o with $(T). * config/i386/netware-libgcc.exp: Add __bswap?i2, __emultls_get_address, __emultls_register_common, __floatundi?f, and _Unwind_GetIPInfo. * config/i386/netware.c (gen_stdcall_or_fastcall_decoration): Sync with config/i386/winnt.c:gen_stdcall_or_fastcall_suffix(). (gen_regparm_prefix): Likewise. (i386_nlm_encode_section_info): Sync with config/i386/winnt.c:i386_pe_encode_section_info(). (i386_nlm_maybe_mangle_decl_assembler_name): New. i386_nlm_mangle_decl_assembler_name): New. (netware_override_options): New. * config/i386/netware.h (netware_override_options): Declare. (OVERRIDE_OPTIONS): Re-define to netware_override_options. (i386_nlm_mangle_decl_assembler_name): Declare. (TARGET_MANGLE_DECL_ASSEMBLER_NAME): Define. 2008-02-25 Ben Elliston PR other/32948 * c-decl.c (grokdeclarator): Remove unused local variables `typedef_type' and `type_as_written'. * bb-reorder.c (find_rarely_executed_basic_blocks_and_crossing_edges): Remove unused local variable `has_hot_blocks'. (fix_crossing_conditional_branches): Remove unused local variable `prev_bb'. 2008-02-25 Uros Bizjak PR middle-end/19984 * builtins.def (BUILT_IN_NAN): Define as c99 builtin using DEF_C99_BUILTIN. (BUILT_IN_NANF): Ditto. (BUILT_IN_NANL): Ditto. 2008-02-25 Ayal Zaks Revital Eres * modulo-sched.c (calculate_must_precede_follow): Address TODO regarding the order of two dependent insns in the same row. 2008-02-25 Eric Botcazou * stor-layout.c (layout_decl): Do not bump the alignment of a bit-field to more than byte alignment if it is packed. 2008-02-24 David Edelsohn * config/rs6000/rs6000.c (processor_costs): Add cache costs for e300c2 and e300c3. 2008-02-24 Diego Novillo http://gcc.gnu.org/ml/gcc-patches/2008-02/msg01094.html PR 33738 * tree-vrp.c (vrp_evaluate_conditional): With -Wtype-limits, emit a warning when comparing against a constant outside the natural range of OP0's type. * c.opt (Wtype-limits): Move ... * common.opt (Wtype-limits): ... here. 2008-02-24 Edmar Wienskoski * config.gcc (powerpc*-*-*): Add new cores e300c2 and e300c3. * config/rs6000/e300c2c3.md: New file. * config/rs6000/rs6000.c (processor_costs): Add new costs for e300c2 and e300c3. (rs6000_override_options): Add e300c2 and e300c3 cases to processor_target_table. Do not allow usage of Altivec or Spe with e300 cores. Initialize rs6000_cost for e300c2 and e300c3. (rs6000_issue_rate): Set issue rate for e300c2 and e300c3. * config/rs6000/rs6000.h (processor_type): Add PROCESSOR_PPCE300C2 and PROCESSOR_PPCE300C3. (ASM_CPU_SPEC): Add e300c2 and e300c3. * config/rs6000/rs6000.md (define_attr "cpu"): Add ppce300c2 and ppce300c3. Include e300c2c3.md. 2008-02-23 David Edelsohn * config/rs6000/rs6000.h (CONSTANT_ALIGNMENT): Use STRICT_ALIGNMENT instead of TARGET_STRICT_ALIGN. 2008-02-23 Joseph Myers * explow.c (memory_address): Assert that the generated address is valid. 2008-02-23 Francois-Xavier Coudert PR target/25477 * config/darwin-protos.h: Add darwin_patch_builtins prototype. * config/darwin-ppc-ldouble-patch.def: New file. * config/rs6000/darwin.h (SUBTARGET_INIT_BUILTINS): New macro. * config/rs6000/rs6000.c (rs6000_init_builtins): Call SUBTARGET_INIT_BUILTINS if defined. * config/darwin.c (darwin_patch_builtin, darwin_patch_builtins): New functions. 2008-02-23 Andrew Pinski PR rtl-opt/33512 * simplify-rtx.c (simplify_binary_operation_1): Add simplification of (and X (ior (not X) Y) and (and (ior (not X) Y) X). 2008-02-23 Andrew Pinski PR pch/35027 * c-pch.c (c_common_valid_pch): Make the "too short to be a PCH file" warning condtional on -Winvalid-PCH. 2008-02-23 Daniel Jacobowitz * expmed.c (extract_bit_field): Always use adjust_address for MEM. 2008-02-23 Uros Bizjak PR target/22076 PR target/34256 * config/i386/mmx.md (*mov_internal_rex64): Use "!y" to prevent reload from using MMX registers. (*mov_internal): Ditto. (*movv2sf_internal_rex64): Ditto. (*movv2sf_internal): Ditto. 2008-02-23 Ralf Wildenhues PR documentation/31569 * doc/install.texi2html: Use makeinfo --no-number-sections. 2008-02-22 Nathan Froyd * config/rs6000/rs6000.c (rs6000_legitimize_address): Check to ensure that we can address an entire entity > 8 bytes. Don't generate reg+reg addressing for such data. 2008-02-22 Nathan Froyd * config/rs6000/rs6000.h (CONSTANT_ALIGNMENT): Don't overalign strings when optimizing for size, unless the target cares about alignment. 2008-02-22 Tom Tromey * regclass.c (current_pass): Remove declaration. 2008-02-22 Anatoly Sokolov * config/avr/libgcc.S (__RAMPZ__): Define. (__do_copy_data): Add for devices with 128KB code memory. 2008-02-22 Nathan Froyd * config/rs6000/linuxspe.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Use spe_abi. * config/rs6000/eabispe.h (SUBSUBTARGET_OVERRIDE_OPTIONS): Likewise. 2008-02-22 Hans-Peter Nilsson * config/cris/cris.h (REG_CLASS_FROM_LETTER): Recognize 'b' for GENNONACR_REGS. 2008-02-22 Ralf Wildenhues PR c/19999 * c-typeck.c (build_binary_op): Warn about floating point comparisons if FLOAT_TYPE_P, not only for REAL_TYPE. 2008-02-21 Janis Johnson PR target/34526 * config/rs6000/rs6000.c (rs6000_altivec_abi): Clarify comment. (rs6000_explicit_options): Split abi into spe_abi and altivec_abi, add vrsave. (rs6000_override_options): Set altivec_abi as default, not override, for 64-bit GNU/Linux; for 32-bit GNU/Linux default to altivec_abi for TARGET_ALTIVEC; default to TARGET_ALTIVEC_VRSAVE when AltiVec ABI is used; use new member spe_abi. (rs6000_handle_option): Set rs6000_explicit_options.vrsave; use spe_abi and altivec_abi. 2008-02-22 Tomas Bily * tree-vectorizer.c (vect_is_simple_reduction): Fix comment typo. 2008-02-21 Ralf Wildenhues PR bootstrap/35273 * config.build (build_file_translate): Set to `CMD //c' only if it works. * Makefile.in (build_file_translate): Improve comment. 2008-02-21 Jan Hubicka * predict.def (PRED_TREE_OPCODE_POSITIVE, PRED_TREE_OPCODE_NONEQUAL, PRED_TREE_OPCODE_POSITIVE, PRED_TREE_OPCODE_NONEQUAL, PRED_CALL, PRED_TREE_EARLY_RETURN, PRED_NULL_RETURN): Update. 2008-02-21 Michael Matz PR target/35264 * config/i386/i386.c (ix86_expand_branch): Add missing breaks. 2008-02-21 Uros Bizjak * config/i386/i386.md (movcc): Macroize expander from movsfcc, movdfcc and movxfcc using X87MODEF mode iterator and SSE_FLOAT_MODE_P as insn constraint. * config/i386/sse.md (_movup): Macroize insn from sse_movups adn sse2_movupd using SSEMODEF2P mode iterator and SSE_VEC_FLOAT_MODE_P as insn constraint. (_movmskp): Ditto from similar patterns. (sse4a_movnt): Macroize insn from sse4a_movntsf and sse4a_movntdf using MODEF mode iterator. (sse4a_vmmovnt): Macroize insn form sse4a_vmmovntv2df and sse4a_vmmovntv4sf using SSEMODEF2P mode iterator. (sse4_1_blendp): Ditto from similar patterns. (sse4_1_blendvp): Ditto. (sse4_1_dpp): Ditto. (sse4_1_roundp): Ditto. (sse4_1_rounds): Ditto. 2008-02-21 Richard Guenther * tree.def (PAREN_EXPR): New tree code. * fold-const.c (fold_unary): Remove PAREN_EXPR around constants and PAREN_EXPR. * tree-pretty-print.c (dump_generic_node): Handle PAREN_EXPR. * expr.c (expand_expr_real_1): Likewise. * tree-inline.c (estimate_num_insns_1): Likewise. * tree-complex.c (expand_complex_move): Likewise. * tree-vectorizer.c (vect_is_simple_use): Treat PAREN_EXPR (x) as plain x. 2008-02-20 Kaz Kojima PR target/35225 * config/sh/sh.c (find_barrier): Don't go past 'from' argument. 2008-02-20 Kaz Kojima PR target/35190 * config/sh/sh.md (jump_compact): Disable for crossing jumps. * config/sh/sh.c (find_barrier): Don't go past NOTE_INSN_SWITCH_TEXT_SECTIONS note. 2008-02-20 DJ Delorie * config/h8300/h8300.md (insv): Force source operand to be a register. * config/h8300/h8300.c (h8300_expand_epilogue): Emit return insn as a jump, not as a plain insn. 2008-02-20 Seongbae Park * doc/invoke.texi (Warning Options): Add new option -Wframe-larger-than=. (-Wframe-larger-than): Document. * flags.h (warn_frame_larger_than, frame_larger_than_size): Add declarations for new option variables. * final.c (final_start_function): Check the frame size before emission and issue a Wframe-larger-than warning. * opts.c (warn_frame_larger_than, frame_larger_than_size): Add definitions for new option variables. (common_handle_option): Handle new option OPT_Wframe_larger_than_. * common.opt (Wframe-larger-than=): New option. 2008-02-20 Uros Bizjak * config/i386/sse.md (_vmmul3): Fix typo in asm template. (_div3): Ditto. (_vmdiv3): Ditto. (_vmsqrt2): Ditto. (*smax3): Ditto. (sse5_frcz2): Ditto. (sse5_vmfrcz2): Ditto. Use TARGET_SSE5 instead of TARGET_ROUND as insn constraint. 2008-02-20 Richard Guenther PR middle-end/35265 * builtins.c (validate_arg): If we want an INTEGER_TYPE, be happy with INTEGRAL_TYPE_P. 2008-02-20 Richard Guenther * fold-const.c (split_tree): Associate floatig-point expressions if flag_associative_math is set. 2008-02-20 Richard Guenther * tree.h (fold_real_zero_addition_p): Declare. * fold-const.c (fold_real_zero_addition_p): Export. * tree-ssa-reassoc.c (eliminate_using_constants): Also handle floating-point operations with zero and one. 2008-02-20 Paolo Bonzini * doc/install.texi: Correct references to CFLAGS, replacing them with BOOT_CFLAGS. Document flags used during bootstrap for target libraries. 2008-02-20 Uros Bizjak * config/i386/i386.h (SSE_VEC_FLOAT_MODE_P): New define. * config/i386/i386.md (*sse_setcc): Macroize from *sse_setccsf and *sse_setccdf using MODEF mode iterator and SSE_FLOAT_MODE_P as insn constraint. (smin3): Ditto from similar patterns. (smax3): Ditto. (*ieee_smin3): Ditto. (*ieee_smax3): Ditto. * config/i386/sse.md (sse): New mode attribute. (mov): Macroize expander from movv4sf and movv2df using SSEMODEF2P mode iterator. (_movnt): Ditto from similar patterns. Use SSE_VEC_FLOAT_MODE_P as insn constraint. (storent): Ditto. (storent): Macroize expander from storentsf and storentdf using MODEF mode iterator. (neg2): Macroize from negv4sf2 and negv2df2 using SSEMODEF2P mode iterator and SSE_VEC_FLOAT_MODE_P as insn constraint. (abs2): Ditto from similar patterns. (add3, *add3, _vmadd3): Ditto. (sub3, *sub3, _vmsub3): Ditto. (_div3, _vmdiv3): Ditto. (_vmsqrt2): Ditto. (smin3, *smin3_finite, *smin3) (_vmsmin3, *ieee_smin3): Ditto. (smax3, *smax3_finite, *smax3) (_vmsmax3, *ieee_smax3): Ditto. (_maskcmp3): Macroize from sse_maskcmpv4sf3, sse_maskcmpsf3, sse2_maskcmpv2df3 and sse2_maskcmpdf3 using SSEMODEF4 mode iterator. Use SSE_FLOAT_MODE_P with SSE_VEC_FLOAT_MODE_P as insn constraint. (_comi): Macroize from sse_comi and sse2_comi using MODEF mode iterator and SSE_FLOAT_MODE_P as insn constraint. (_ucomi): Ditto from similar patterns. (_vmmaskcmp3): Macroize from sse_vmmaskcmpv4sf3 and sse2_vmmaskcmpv2df3 using SSEMODEF2P mode iterator and SSE_VEC_FLOAT_MODE_P as insn constraint. (vcond): Ditto from similar patterns. (and3, *and3): Ditto. (_nand3): Ditto. (ior3, *ior3): Ditto. (xor3, *xor3): Ditto. (*and3): Macroize from *andsf3 and *anddf3 using MODEF mode iterator and SSE_FLOAT_MODE_P as insn constraint. (*nand3): Ditto from similar patterns. (*ior3): Ditto. (*xor3): Ditto. 2008-02-20 Ira Rosen * config/spu/spu.md (vec_unpacku_hi_v8hi, vec_unpacku_lo_v8hi, vec_unpacks_hi_v8hi, vec_unpacks_lo_v8hi, vec_unpacku_hi_v16qi, vec_unpacku_lo_v16qi, vec_unpacks_lo_v16qi): Implement. 2008-02-19 Jan Hubicka * predict.c (tree_bb_level_predictions): Remove variable next mistakely introduced by previous commit. 2008-02-19 Jan Hubicka * predict.c (predict_paths_leading_to): Rewrite. (predict_paths_for_bb): New. (tree_bb_level_predictions): Update call of predict_paths_leading_to. 2008-02-19 Ralf Wildenhues PR bootstrap/35218 * Makefile.in (build_file_translate): New. (gcc-vers.texi): Use it for translating $(abs_srcdir). * config.build (build_file_translate): Set to `CMD //c' on MinGW. * configure.ac (build_file_translate): Substitute it. * configure: Regenerate. 2008-02-19 Jan Hubicka PR rtl-optimization/34408 * see.c (see_def_extension_not_merged): Copy subreg so we don't have invalid sharing. 2008-02-19 Jan Hubicka PR middle-end/28779 * tree-inline.c (estimate_num_insns_1): Fix counting of cost of call_expr. 2008-02-19 H.J. Lu PR Ada/35186 * config/i386/i386-modes.def: Revert the last DI alignment change until Ada people can look into it. 2008-02-19 Nick Clifton * opts.c (print_specific_help): Fix typo in --help text. 2008-02-19 Jakub Jelinek PR target/35239 * config/i386/cpuid.h (__cpuid, __get_cpuid_max): Use special 32-bit inline asm without asm alternatives for host GCC < 3.0. 2008-02-19 Richard Guenther PR tree-optimization/34989 * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Re-structure. Allow propagation to INDIRECT_REF if we can simplify only. 2008-02-19 Manuel Lopez-Ibanez * c-common.c (warn_for_collisions_1): Use appropriate option when warning. 2008-02-19 Nick Clifton PR other/31349 * opts.c (undocumented_msg): Leave blank unless checking is enabled. (handle_options): Fix indentation. (print_filtered_help): If no language-specific options were displayed tell the user how to list all the options supported by the language's front-end. (print_specific_help): Fix indentation and remove duplicate line. (common_handle_option): Handle the -v option. For --help enable the display of undocumented options if the -v switch has been included on the command line. For --help= check for overlaps in the arguments between the option classes and the language names and issue a warning when they cannot be disambiguated. * c.opt (v): Pass on to the common option handler. 2008-02-19 Revital Eres * modulo-sched.c (sms_schedule): Change dump message when create_ddg function fails. (try_scheduling_node_in_cycle): Rename row to cycle. (print_partial_schedule): Rename CYCLE to ROW. 2008-02-19 Christian Bruel Zdenek Dvorak * tree-ssa-loop-ivopts.c (may_be_unaligned_p): Check step alignment. 2008-02-19 Uros Bizjak PR target/33555 * config/i386/i386.md (*x86_movsicc_0_m1_se): New insn pattern. (*x86_movdicc_0_m1_se): Ditto. 2008-02-19 Uros Bizjak * config/i386/sfp-machine.h (__gcc_CMPtype): New typedef. (CMPtype): Define as __gcc_CMPtype. * config/rs6000/sfp-machine.h (__gcc_CMPtype): New typedef. (CMPtype): Define as __gcc_CMPtype. 2008-02-19 Hans-Peter Nilsson Support valgrind 3.3 for --enable-checking=valgrind. * system.h: Consolidate ENABLE_VALGRIND_CHECKING-dependent defines here. [!VALGRIND_MAKE_MEM_NOACCESS]: Define as VALGRIND_MAKE_NOACCESS. [!VALGRIND_MAKE_MEM_DEFINED]: Define as VALGRIND_MAKE_READABLE. [!VALGRIND_MAKE_MEM_UNDEFINED]: Define as VALGRIND_MAKE_WRITABLE. * ggc-common.c: Remove ENABLE_VALGRIND_CHECKING-dependent defines. Replace use of VALGRIND_MAKE_READABLE, VALGRIND_MAKE_WRITABLE, and VALGRIND_MAKE_NOACCESS with VALGRIND_MAKE_MEM_DEFINED, VALGRIND_MAKE_MEM_UNDEFINED, and VALGRIND_MAKE_MEM_NOACCESS respectively. * ggc-zone.c: Similar. * ggc-page.c: Similar. 2008-02-19 Paul Brook PR target/35071 * config/arm/ieee754-df.S: Fix do_it typo. * config/arm/ieee754-sf.S: Fix do_it typo. 2008-02-18 H.J. Lu PR target/35189 * config/i386/i386.c (OPTION_MASK_ISA_MMX_SET): New. (OPTION_MASK_ISA_3DNOW_SET): Likewise. (OPTION_MASK_ISA_SSE_SET): Likewise. (OPTION_MASK_ISA_SSE2_SET): Likewise. (OPTION_MASK_ISA_SSE3_SET): Likewise. (OPTION_MASK_ISA_SSSE3_SET): Likewise. (OPTION_MASK_ISA_SSE4_1_SET): Likewise. (OPTION_MASK_ISA_SSE4_2_SET): Likewise. (OPTION_MASK_ISA_SSE4_SET): Likewise. (OPTION_MASK_ISA_SSE4A_SET): Likewise. (OPTION_MASK_ISA_SSE5_SET): Likewise. (OPTION_MASK_ISA_3DNOW_A_UNSET): Likewise. (OPTION_MASK_ISA_MMX_UNSET): Updated. (OPTION_MASK_ISA_3DNOW_UNSET): Updated. (OPTION_MASK_ISA_SSE_UNSET): Likewise. (OPTION_MASK_ISA_SSE3_UNSET): Likewise. (OPTION_MASK_ISA_SSSE3_UNSET): Likewise. (OPTION_MASK_ISA_SSE4_1_UNSET): Likewise. (OPTION_MASK_ISA_SSE4_2_UNSET): Likewise. (OPTION_MASK_ISA_SSE4A_UNSET): Likewise. (OPTION_MASK_ISA_SSE5_UNSET): Likewise. (OPTION_MASK_ISA_SSE4): Removed. (ix86_handle_option): Turn on bits in ix86_isa_flags and ix86_isa_flags_explicit with OPTION_MASK_ISA_XXX_SET for -mXXX. (override_options): Don't turn on implied SSE/MMX bits in ix86_isa_flags. 2008-02-18 H.J. Lu * config/i386/i386-modes.def: Use 4 byte alignment on DI for 32bit host. 2008-02-18 Joey Ye PR middle-end/34921 * tree-nested.c (insert_field_into_struct): Set type alignment to field alignment if the former is less than the latter. 2008-02-18 Jakub Jelinek * BASE-VER: Set to 4.4.0. 2008-02-17 Ralf Wildenhues * doc/c-tree.texi: Use @dots{} and @enddots{} where appropriate. * doc/cfg.texi: Likewise. * doc/extend.texi: Likewise. * doc/gty.texi: Likewise. * doc/invoke.texi: Likewise. * doc/loop.texi: Likewise. * doc/md.texi: Likewise. * doc/passes.texi: Likewise. * doc/rtl.texi: Likewise. * doc/sourcebuild.texi: Likewise. * doc/tm.texi: Likewise. * doc/tree-ssa.texi: Likewise. 2008-02-17 Richard Guenther PR middle-end/35227 * tree-complex.c (init_parameter_lattice_values): Handle parameters without default definition. 2008-02-17 Richard Guenther PR tree-optimization/35231 * tree-vrp.c (register_edge_assert_for): Do not assume A == 0 if A | B != 1. 2008-02-17 Uros Bizjak Revert: 2008-02-15 Uros Bizjak * config/i386/sfp-machine.h (CMPtype): Define as typedef using libgcc_cmp_return mode. 2008-02-16 Manuel Lopez-Ibanez PR c/28368 * doc/invoke.texi (-std): Clarify description of -std= and -ansi. 2008-02-16 Ralf Corsepius * config/m68k/t-rtems (M68K_MLIB_CPU): Add 5208, 5307, 5407, 5475 multilibs. 2008-02-16 Ralf Wildenhues * doc/c-tree.texi: Use `@.' where appropriate. * doc/extend.texi: Likewise. * doc/install.texi: Likewise. * doc/invoke.texi: Likewise. * doc/loop.texi: Likewise. * doc/makefile.texi: Likewise. * doc/md.texi: Likewise. * doc/passes.texi: Likewise. * doc/standards.texi: Likewise. * doc/tm.texi: Likewise. 2008-02-15 Jakub Jelinek PR middle-end/35196 * omp-low.c (expand_omp_for_generic): Don't initialize fd->v in entry_bb. (expand_omp_for_static_nochunk): Initialize fd->v in seq_start_bb rather than in entry_bb. 2008-02-15 Uros Bizjak * config/i386/sfp-machine.h (CMPtype): Define as typedef using libgcc_cmp_return mode. 2008-02-15 Jakub Jelinek PR middle-end/35130 * tree-nested.c (convert_call_expr): Put FRAME.* vars into OMP_CLAUSE_SHARED rather than OMP_CLAUSE_FIRSTPRIVATE clause. 2008-02-15 Richard Guenther Zdenek Dvorak PR tree-optimization/35164 * tree-flow.h (stmt_references_abnormal_ssa_name): Declare. * tree-dfa.c (stmt_references_abnormal_ssa_name): New function. * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars): Only propagate addresses which do not have abnormal SSA_NAMEs in their operands. 2008-02-15 Joseph Myers PR target/35088 * config/m68k/m68k.h (DWARF_CIE_DATA_ALIGNMENT): Define. 2008-02-15 Jan Hubicka PR middle-end/35149 * ipa.c (cgraph_remove_unreachable_nodes): Clear local.inlinable flag. 2008-02-15 Uros Bizjak PR middle-end/34621 * function.c (pad_to_arg_alignment): Remove test for STACK_BOUNDARY when calculating alignment_pad. 2008-02-15 Uros Bizjak * config/i386/i386.h (CLEAR_RATIO): Use MIN macro. (WIDEST_HARDWARE_FP_SIZE): Use LONG_DOUBLE_TYPE_SIZE define. * config/i386/darwin.h (PREFERRED_STACK_BOUNDARY): Use MAX macro and STACK_BOUNDARY define. 2008-02-14 Danny Smith PR preprocessor/35061 * c-pragma.c (handle_pragma_pop_macro): Check that pushed_macro_table has been allocated. 2008-02-14 Eric Botcazou PR middle-end/35136 * gimplify.c (force_gimple_operand_bsi): Revert 2008-02-12 change. (force_gimple_operand): Likewise. * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Add new cases for TARGET_MEM_REF and CONVERT_EXPR/NON_LVALUE_EXPR/NOP_EXPR. Also recurse on the operand for regular VIEW_CONVERT_EXPRs. (find_interesting_uses_address): Check addressability and alignment of the base expression only after substituting bases of IVs into it. 2008-02-14 Michael Matz PR target/34930 * function.c (instantiate_virtual_regs_in_insn): Reload address before falling back to reloading the whole operand. 2008-02-14 Andreas Krebbel * config/s390/s390.c (s390_mainpool_start): Emit the pool before the first section switch note. 2008-02-14 Ralf Wildenhues * doc/bugreport.texi: Update copyright years. * doc/c-tree.texi: Likewise. * doc/cfg.texi: Likewise. * doc/cpp.texi: Likewise. * doc/cppinternals.texi: Likewise. * doc/fragments.texi: Likewise. * doc/frontends.texi: Likewise. * doc/gcc.texi: Likewise. * doc/gty.texi: Likewise. * doc/hostconfig.texi: Likewise. * doc/implement-c.texi: Likewise. * doc/libgcc.texi: Likewise. * doc/loop.texi: Likewise. * doc/makefile.texi: Likewise. * doc/options.texi: Likewise. * doc/passes.texi: Likewise. * doc/rtl.texi: Likewise. * doc/sourcebuild.texi: Likewise. * doc/standards.texi: Likewise. * doc/tree-ssa.texi: Likewise. * doc/trouble.texi: Likewise. * doc/extend.texi: Use @: or add comma where appropriate. * doc/invoke.texi: Likewise. * doc/tm.texi: Likewise. 2008-02-14 Alan Modra PR target/34393 * config/rs6000/rs6000.md (restore_stack_block): Force operands[1] to a reg. 2008-02-14 Jesper Nilsson * doc/md.texi (clz, ctz): Add reference. * doc/rtl.texi (clz, ctz): Likewise. 2008-02-13 Ralf Wildenhues PR other/35148 * Makefile.in (gcc-vers.texi): Use abs_srcdir for the value of srcdir. 2008-02-13 Andreas Krebbel * config/s390/s390.c (struct constant_pool): New field emit_pool_after added. (s390_mainpool_start): Set the emit_pool_after flag according to the section switch notes. (s390_mainpool_finish): Consider emit_pool_after when emitting the literal pool at the end of the function. (s390_chunkify_start): Force literal pool splits at section switch notes. 2008-02-13 Michael Matz PR debug/35065 * var-tracking.c (clobber_variable_part): Correctly traverse the list. 2008-02-13 Manuel Lopez-Ibanez PR 29673 * doc/invoke.texi (Debugging Options): Remove -fdump-tree-inlined. Add -fdump-ipa-inline. * tree-dump.c (dump_files): Remove tree-inlined dump. * tree-pass.h (tree_dump_index): Remove TDI_inlined. 2008-02-12 Richard Guenther PR tree-optimization/35171 * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Deal with default defs. 2008-02-12 Richard Guenther PR middle-end/35163 * fold-const.c (fold_widened_comparison): Use get_unwidened in value-preserving mode. Disallow final truncation. 2008-02-12 Eric Botcazou PR middle-end/35136 * gimplify.c (force_gimple_operand_bsi): Move SSA renaming code from here to... (force_gimple_operand): ...here. 2008-02-12 Jakub Jelinek PR c++/35144 * tree-sra.c (sra_build_assignment): fold_convert SRC if copying non-compatible pointers. (generate_element_copy): If SRC and DST are RECORD_TYPEs with different FIELD_DECLs, try harder by comparing field offsets, sizes and types. PR inline-asm/35160 * function.c (match_asm_constraints_1): Don't replace the same input multiple times. 2008-02-12 Anatoly Sokolov * config/avr/avr.h (AVR_HAVE_RAMPZ): Define. * config/avr/avr.c (expand_prologue): Save RAMPZ register. (expand_epilogue): Restore RAMPZ register. * config/avr/avr.md (RAMPZ_ADDR): New constant. 2008-02-11 Kai Tietz * config/i386/cygwin.asm: (__alloca): Correct calling convention and alignment. (__chkstk): Force 8 byte stack alignment. 2008-02-11 Uros Bizjak Richard Guenther PR tree-optimization/33992 * tree-ssa-loop-im.c (rewrite_bittest): Fixup the type of the zero we compare against. 2008-02-10 Danny Smith PR libfortran/35063 * gthr-win32.h (__gthread_mutex_destroy_function): New function to CloseHandle after unlocking to prevent accumulation of handle count. 2008-02-09 John David Anglin PR middle_end/34150 * pa.c (legitimize_pic_address): Add REG_EQUAL note on sets with a pic_label_operand source. Similarly, add a REG_LABEL_OPERAND note and update LABEL_NUSES during and after reload. 2008-02-08 Steven Bosscher PR middle-end/34627 * combine.c (simplify_if_then_else): Make sure the comparison is against const0_rtx when simplifying to (abs x) or (neg (abs X)). 2008-02-08 Richard Sandiford PR bootstrap/35051 * double-int.h: Don't include gmp.h for GENERATOR_FILEs. (mpz_set_double_int, mpz_get_double_int): Hide from GENERATOR_FILEs. * real.h: Don't include gmp.h or mpfr.h for GENERATOR_FILEs. (real_from_mpfr, mpfr_from_real): Hide from GENERATOR_FILEs. * tree.h (get_type_static_bounds): Likewise. 2008-02-08 Ralf Wildenhues * doc/invoke.texi (Option Summary, C++ Dialect Options) (Objective-C and Objective-C++ Dialect Options, Warning Options): Make -Wfoo language annotations match what the compiler outputs. 2008-02-08 Sa Liu * config/spu/spu-builtins.def: Fixed wrong parameter type in spu intrinsics spu_convts, spu_convtu, spu_convtf. * testsuite/gcc.target/spu/intrinsics-3.c: New. Test error messages. 2008-02-08 Hans-Peter Nilsson * doc/extend.texi (Function Attributes) : Mention asm ("") as method to keep calls. 2008-02-07 Manuel Lopez-Ibanez PR other/32754 * doc/options.texi (Options): Replace references to opts.sh with optc-gen.awk. * opts-common.c: Likewise. * optc-gen.awk: Likewise. 2008-02-07 Andreas Krebbel * config/s390/s390.h (FUNCTION_ARG_REGNO_P): Fix fprs for 64 bit. 2008-02-07 Richard Henderson PR rtl-opt/33410 * config/alpha/alpha.c (alpha_emit_xfloating_compare): Use an EXPR_LIST for the REG_EQUAL instead of a comparison with a funny mode. 2008-02-07 Uros Bizjak PR tree-optimization/35085 * tree-ssa-reassoc.c (rewrite_expr_tree): Enable destructive update for operand entry oe2 in addition to operand entry oe3 in order to expose more opportunities for vectorizer sum reduction. 2008-02-06 Kaveh R. Ghazi PR other/35107 * Makefile.in (LIBS): Remove $(GMPLIBS). (cc1-dummy, cc1): Add $(GMPLIBS). 2008-02-06 Jan Hubicka PR target/23322 * i386.md (moddf_integer): Do not produce partial memory stalls for targets where it hurts. 2008-02-06 Uros Bizjak PR target/35083 * optabs.c (expand_float): Do not check for decimal modes when expanding unsigned integer through signed conversion. 2008-02-06 Nick Clifton * config/stormy16/stormy16.md (eqbranchsi): Replace a match_dup inside the clobber with a match_operand and duplicated operand number in the constraint. (ineqbranchsi): Delete redundant comment. 2008-02-06 Ralf Corsepius * config/arm/rtems-elf.h (TARGET_OS_CPP_BUILTINS): Add builtin_define ("__USE_INIT_FINI__"). * config/h8300/t-rtems (MULTILIB_OPTION,MULTILIB_DIRNAMES): Add -msx multilibs. * gthr-rtems.h: Remove __GTHREAD_MUTEX_INIT. 2008-02-06 Ralf Wildenhues PR documentation/30330 * doc/invoke.texi (C++ Dialect Options) (Objective-C and Objective-C++ Dialect Options, Warning Options): For each warning option -Wfoo that allows -Wno-foo, ensure both -Wfoo and -Wno-foo are listed in the option index. Fix index entry of -Wswitch-default, index -Wnormalized= including the `=', and -Wlarger-than-@var{len} including @var{len}. 2008-02-05 Uros Bizjak * config/i386/i386.md (floatunssisf2): Use ix86_expand_convert_uns_sisf_sse also for TARGET_SSE. (floatunssi2): Rename from floatunssisf2 and floatunssidf2. Macroize expander using MODEF mode iterator. 2008-02-05 Diego Novillo http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00140.html PR 33738 * tree-vrp.c (vrp_evaluate_conditional): Revert fix for PR 33738. 2008-02-05 Kaveh R. Ghazi PR other/35070 * toplev.c (print_version): Honor `indent' for GMP/MPFR warnings. 2008-02-05 H.J. Lu PR target/35084 * config/i386/i386.c (ix86_function_sseregparm): Add an arg to indicate if a message should be generated. (init_cumulative_args): Updated. (function_value_32): Likewise. 2008-02-05 Joseph Myers * doc/include/texinfo.tex: Update to version 2008-02-04.16. 2008-02-05 Uros Bizjak PR target/35083 * config/i386/i386.md (floatunsisf2): Enable for TARGET_SSE_MATH only. Call ix86_expand_convert_uns_sisf_sse for TARGET_SSE2. 2008-02-04 Diego Novillo http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00110.html PR 33738 * tree-vrp.c (vrp_evaluate_conditional): With -Wtype-limits, emit a warning when comparing against a constant outside the natural range of OP0's type. 2008-02-04 Richard Guenther PR middle-end/33631 * expr.c (count_type_elements): Give for unions instead of guessing. 2008-02-04 Richard Guenther PR middle-end/35043 * gimplify.c (gimplify_init_ctor_eval): Convert array indices to TYPE_DOMAINs base type instead of using bitsizetype here. 2008-02-03 Jason Merrill * print-tree.c (print_node) [CONSTRUCTOR]: Print elements. 2008-02-04 Ralf Wildenhues PR other/29972 * doc/invoke.texi (C++ Dialect Options, Optimize Options) (HPPA Options, i386 and x86-64 Options, IA-64 Options) (RS/6000 and PowerPC Options): Fix typos and markup. * doc/passes.texi (Tree-SSA passes): Likewise. 2008-02-02 Michael Matz PR target/35045 * postreload-gcse.c (record_last_reg_set_info_regno): Renamed from record_last_reg_set_info. (record_last_reg_set_info): Take an RTX argument, iterate over all constituent hardregs. (record_last_set_info, record_opr_changes): Change calls to new signature or to record_last_reg_set_info_regno. 2008-02-02 Gerald Pfeifer * doc/extend.texi (X86 Built-in Functions): Fix grammar. 2008-02-01 Hans-Peter Nilsson PR rtl-optimization/34773 * reg-notes.def (EQUAL): Mention significance of combination of REG_EQUAL and REG_RETVAL. * fwprop.c (try_fwprop_subst): Don't add REG_EQUAL to an insn that has a REG_RETVAL. 2008-02-01 Roger Sayle PR bootstrap/33781 * configure.ac (--enable-fixed-point): Disable unless explicitly requested on IRIX. * configure: Regenerate. 2008-02-01 Richard Guenther PR other/35042 * invoke.texi (-finline-limit): Remove no longer true parts of the documentation. Note that there is no default value. 2008-02-01 Andrew Pinski Mark Mitchell Ben Elliston PR c/29326 * doc/extend.texi (Other Builtins): Document. 2008-01-31 Tom Browder * doc/c-tree.texi (Types): Fix grammar. (Expression trees): Ditto. * doc/passes.texi (Tree-SSA passes): Ditto. * doc/configterms.texi (Configure Terms): Fix typo. * doc/cpp.texi (Common Predefined Macros): Ditto. * doc/md.texi (Machine Constraints): Ditto. * doc/makefile.texi (Makefile): Add comma. 2008-01-31 Tom Browder Gerald Pfeifer * doc/sourcebuild.texi (Front End): Remove references to CVS and CVSROOT/modules. (Texinfo Manuals): Replace reference to CVS by one to SVN. (Back End): Remove reference to CVS. 2008-01-31 Richard Sandiford PR target/34900 * config/mips/mips.c (gen_load_const_gp): New function, taking a comment from... (mips16_gp_pseudo_reg): ...here. * config/mips/mips.md (load_const_gp): Replace with... (load_const_gp_): ...this :P-based insn. 2008-01-31 Manuel Lopez-Ibanez * doc/invoke.texi (-ansi): Mention explicitly corresponding -std= options. Minor fixes. (-std): Move reference to standards closer to where language standards are first mentioned. 2008-01-31 Richard Sandiford PR rtl-optimization/34995 * reload.c (alternative_allows_const_pool_ref): Take an rtx parameter and return a bool. If the rtx parameter is nonnull, check that it satisfies an EXTRA_MEMORY_CONSTRAINT. (find_reloads): Update call accordingly. Pass the new operand if it needed no address reloads, otherwise pass null. 2008-01-30 Richard Henderson PR c/34993 * tree.c (build_type_attribute_qual_variant): Skip TYPE_DOMAIN for unbounded arrays. 2008-01-30 Silvius Rus * config/i386/xmmintrin.h (_mm_prefetch): Add const to first arg. 2008-01-30 Jan Hubicka PR target/34982 * i386.c (init_cumulative_args): Use real function declaration when calling locally. 2008-01-30 Richard Sandiford PR rtl-optimization/34998 * global.c (build_insn_chain): Treat non-subreg_lowpart SUBREGs of pseudos as clobbering all the words covered by the SUBREG, not just all the bytes. * ra-conflict.c (clear_reg_in_live): Likewise. Take the original df_ref rather than an extract parameter. (global_conflicts): Update call accordingly. 2008-01-30 Andreas Krebbel * config/s390/fixdfdi.h (__fixunstfdi, __fixtfdi): Rearrange the overflow check to make it easier to read. (__fixtfdi): Change the type of the ll member in union long_double to UDItype_x. 2008-01-30 Jakub Jelinek PR middle-end/34969 * cgraph.h (cgraph_update_edges_for_call_stmt): New prototype. * cgraph.c (cgraph_update_edges_for_call_stmt): New function. * tree-inline.c (fold_marked_statements): Call cgraph_update_edges_for_call_stmt if folding a call statement. * cgraphunit.c (verify_cgraph_node): Set cfun to this_cfun for debug_generic_stmt calls, reset it back afterwards. PR c/35017 * c-decl.c (start_decl): Don't pedwarn about TREE_READONLY static decls. * c-typeck.c (build_external_ref): Don't pedwarn about static vars in current function's scope. 2008-01-29 Joseph Myers * config.gcc (i[34567]86-*-nto-qnx*): Remove deprecation. 2008-01-29 Bernhard Fischer PR c/35002 * ipa-struct-reorg.c: Fix spelling. * params.def: Ditto. 2008-01-29 Richard Guenther PR middle-end/35006 * tree-inline.h (struct copy_body_data): Add remapping_type_depth field. * tree-inline.c (remap_type): Increment remapping_type_depth around remapping types. (copy_body_r): Only add referenced variables if they are referenced from code, not types. 2008-01-29 Douglas Gregor PR c++/34055 PR c++/34103 PR c++/34219 PR c++/34606 PR c++/34753 PR c++/34754 PR c++/34755 PR c++/34919 PR c++/34961 * c-pretty-print.c (pp_c_type_qualifier_list): Don't try to print qualifiers for an ERROR_MARK_NODE or a NULL_TREE. 2008-01-28 Andy Hutchinson PR target/34412 * config/avr/avr.c (expand_prologue): Use correct QI mode frame pointer for tiny stack. 2008-01-28 Bernhard Fischer * doc/tree-ssa.texi: Add cindex PHI nodes and improve wording. 2008-01-28 Bernhard Fischer * config/vx-common.h: Fix typo in comment. 2008-01-28 Ian Lance Taylor PR c++/34862 PR c++/33407 * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Don't coalesce pointers if they have different DECL_NO_TBAA_P values. * tree-ssa-copy.c (may_propagate_copy): Don't propagate copies between variables with different DECL_NO_TBAA_P values. 2008-01-28 Nathan Froyd PR 31535 * config/rs6000/rs6000.c (small_data_operand): Vectors and floats are not legitimate small data references on SPE targets. 2008-01-28 David Daney * doc/install.texi (mips-*-*): Recommend binutils 2.18. 2008-01-28 David Daney * doc/install.texi (--disable-libgcj-bc): Reword documentation. 2008-01-27 Joseph Myers * config.gcc (strongarm*-*, ep9312*-*, xscale*-*, parisc*-*, m680[012]0-*, *-*-beos*, *-*-kaos*, *-*-linux*aout*, *-*-linux*libc1*, *-*-solaris2.[0-6], *-*-solaris2.[0-6].*, *-*-sysv*, *-*-windiss*, alpha*-*-unicosmk*, cris-*-aout, hppa1.1-*-pro*, hppa1.1-*-osf*, hppa1.1-*-bsd*, i[34567]86-sequent-ptx4*, i[34567]86-*-nto-qnx*, i[34567]86-*-sco3.2v5*, i[34567]86-*-uwin*, powerpc-*-chorusos*, vax-*-bsd*, vax-*-ultrix*): Mark obsolete. 2008-01-27 Bernhard Fischer * basic-block.h (condjump_equiv_p): Fix comment. 2008-01-27 Bernhard Fischer * tree-pretty-print.c (print_generic_decl, print_generic_stmt, print_generic_stmt_indented): Fix comment. 2008-01-27 Bernhard Fischer * configure.ac (__stack_chk_fail): Add detecion for availability of SSP in uClibc by checking if __UCLIBC_HAS_SSP__ is defined. * configure: Regenerate. 2008-01-26 Maxim Kuvyrkov PR middle-end/34688 * final.c (output_addr_const): Handle TRUNCATE. 2008-01-26 Zdenek Dvorak PR target/34711 * tree-ssa-loop-ivopts.c (comp_cost): New type. (zero_cost, infinite_cost): New constants. (struct cost_pair): Change type of cost to comp_cost. (struct iv_ca): Change type of cand_use_cost and cost to comp_cost. (new_cost, add_costs, sub_costs, compare_costs, infinite_cost_p): New functions. (set_use_iv_cost, force_expr_to_var_cost, force_var_cost, split_address_cost, ptr_difference_cost, difference_cost, get_computation_cost_at, get_computation_cost, determine_use_iv_cost_generic, determine_use_iv_cost_address, determine_use_iv_cost_condition, determine_use_iv_costs, cheaper_cost_pair, iv_ca_recount_cost, iv_ca_set_no_cp, iv_ca_set_cp, iv_ca_cost, iv_ca_new, iv_ca_dump, iv_ca_extend, iv_ca_narrow, iv_ca_prune, try_improve_iv_set, find_optimal_iv_set): Change type of cost to comp_cost. (determine_iv_cost): Increase cost of non-original ivs, instead of decreasing the cost of original ones. (get_address_cost): Indicate the complexity of the addressing mode in comp_cost. (try_add_cand_for): Prefer using ivs not specific to some object. * tree-flow.h (force_expr_to_var_cost): Declaration removed. 2008-01-26 Peter Bergner Janis Johnson PR target/34814 * doc/tm.texi (TARGET_EXPAND_TO_RTL_HOOK): Document. (TARGET_INSTANTIATE_DECLS): Likewise. * target.h (expand_to_rtl_hook): New target hook. (instantiate_decls): Likewise. * function.c (instantiate_decl): Make non-static. Rename to... (instantiate_decl_rtl): ... this. (instantiate_expr): Use instantiate_decl_rtl. (instantiate_decls_1): Likewise. (instantiate_decls): Likewise. (instantiate_virtual_regs: Call new instantiate_decls taget hook. * function.h (instantiate_decl_rtl): Add prototype. * cfgexpand.c (target.h): New include. (tree_expand_cfg): Call new expand_to_rtl_hook target hook. * target-def.h (TARGET_EXPAND_TO_RTL_HOOK): New define. (TARGET_INSTANTIATE_DECLS): Likewise. (TARGET_INITIALIZER): New target hooks added. * config/rs6000/rs6000-protos.h (rs6000_secondary_memory_needed_rtx): New prototype. * config/rs6000/rs6000.c (tree-flow.h): New include. (machine_function): Add sdmode_stack_slot field. (rs6000_alloc_sdmode_stack_slot): New function. (rs6000_instantiate_decls): Likewise. (rs6000_secondary_memory_needed_rtx): Likewise. (rs6000_check_sdmode): Likewise. (TARGET_EXPAND_TO_RTL_HOOK): Target macro defined. (TARGET_INSTANTIATE_DECLS): Likewise. (rs6000_hard_regno_mode_ok): Allow SDmode. (num_insns_constant): Likewise. Handle _Decimal32 constants. (rs6000_emit_move): Handle SDmode. (function_arg_advance): Likewise. (function_arg): Likewise. (rs6000_gimplify_va_arg): Likewise. Add special handling of SDmode var args for 32-bit compiles. (rs6000_secondary_reload_class): Handle SDmode. (rs6000_output_function_epilogue): Likewise. (rs6000_function_value): Simplify if statement. (rs6000_libcall_value): Likewise. * config/rs6000/rs6000.h (SLOW_UNALIGNED_ACCESS): Handle SDmode. (SECONDARY_MEMORY_NEEDED_RTX): Add define. * config/rs6000/dfp.md (movsd): New define_expand and splitter. (movsd_hardfloat): New define_insn. (movsd_softfloat): Likewise. (movsd_store): Likewise. (movsd_load): Likewise. (extendsddd2): Likewise. (extendsdtd2): Likewise. (truncddsd2): Likewise. (movdd_hardfloat64): Fixup comment. (UNSPEC_MOVSD_LOAD): New constant. (UNSPEC_MOVSD_STORE): Likewise. 2008-01-26 Jakub Jelinek PR c++/34965 * c-pretty-print.c (pp_c_exclusive_or_expression): Handle TRUTH_XOR_EXPR. (pp_c_logical_and_expression): Handle TRUTH_AND_EXPR. (pp_c_logical_or_expression): Handle TRUTH_OR_EXPR. (pp_c_expression): Handle TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR. 2008-01-26 David Edelsohn PR target/34794 * config.gcc: Separate AIX 5.3 from AIX 6.1. * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Define __LONGDOUBLE128 too. * config/rs6000/aix61.h: New file. 2008-01-26 Richard Sandiford PR rtl-optimization/34959 * optabs.c (expand_unop): In libcall notes, give ffs, clz, ctz, popcount and parity rtxes the same mode as their operand. Truncate or extend the result to the return value's mode if necessary. 2008-01-26 Richard Sandiford PR target/34981 * config/mips/mips-protos.h (mips_expand_call): Return an rtx. * config/mips/mips.h (FIRST_PSEUDO_REGISTER): Rename FAKE_CALL_REGNO to GOT_VERSION_REGNUM. (CALL_REALLY_USED_REGISTERS): Set the GOT_VERSION_REGNUM entry to 0. (EPILOGUE_USES): Include GOT_VERSION_REGNUM if TARGET_USE_GOT. * config/mips/mips.c (mips_emit_call_insn): New function. (mips_call_tls_get_addr): Call mips_expand_call directly. (mips16_copy_fpr_return_value): Use mips_emit_call_insn rather than emit_call_insn. (mips16_build_call_stub): Likewise. Return the call insn or null. (mips_expand_call): Update the call to mips16_build_call_stub accordingly and a remove redundant condition. Assert that MIPS16 stubs do not use lazy binding. Use mips_emit_call_insn and return the call insn. (mips_extra_live_on_entry): Include GOT_VERSION_REGNUM if TARGET_USE_GOT. (mips_hard_regno_mode_ok_p): Allow SImode for GOT_VERSION_REGNUM. (mips_avoid_hazard): Remove hazard_set handling. * config/mips/mips.md (UNSPEC_EH_RECEIVER): Rename to... (UNSPEC_RESTORE_GP): ...this. (UNSPEC_SET_GOT_VERSION, UNSPEC_UPDATE_GOT_VERSION): New constants. (FAKE_CALL_REGNO): Rename to... (GOT_VERSION_REGNUM): ...this. (type): Add "ghost" value. Add an associated insn reservation. (hazard_set): Remove. (exception_receiver): Rename to... (restore_gp): ...this and update the unspec identifier accordingly. (exception_receiver, nonlocal_got_receiver): New expanders. (load_call): Use GOT_VERSION_REGNUM. Don't set FAKE_CALL_REGNO. Remove hazard_set attribute. (set_got_version, update_got_version): New patterns. 2008-01-26 Danny Smith PR target/34970 * config/i386/cygming.h (ASM_OUTPUT_LABELREF): Define. 2008-01-25 Joseph Myers PR other/31955 * doc/install.texi2html: Generate gcc-vers.texi. 2008-01-25 DJ Delorie * config/m32c/m32c.h (ASM_PREFERRED_EH_DATA_FORMAT): Define. 2008-01-25 Joseph Myers * config/c4x: Remove directory. * config.gcc (crx-*, mt-*): Mark obsolete. (c4x-*, tic4x-*, c4x-*-rtems*, tic4x-*-rtems*, c4x-*, tic4x-*, h8300-*-rtemscoff*, ns32k-*-netbsdelf*, ns32k-*-netbsd*, sh-*-rtemscoff*): Remove cases. * defaults.h (C4X_FLOAT_FORMAT): Remove. * real.c (encode_c4x_single, decode_c4x_single, encode_c4x_extended, decode_c4x_extended, c4x_single_format, c4x_extended_format): Remove. * real.h (c4x_single_format, c4x_extended_format): Remove. * doc/extend.texi (interrupt, naked): Remove mention of attributes on C4x. (Pragmas): Remove comment about c4x pragmas. * doc/install.texi (c4x): Remove target-specific instructions. * doc/invoke.texi (TMS320C3x/C4x Options): Remove. * doc/md.texi (Machine Constraints): Remove C4x documentation. * doc/tm.texi (MEMBER_TYPE_FORCES_BLK, c_register_pragma): Do not refer to C4x source files as examples. (C4X_FLOAT_FORMAT): Remove documentation. 2008-01-25 Bernd Schmidt * config/bfin/bfin.c (override_options): Reorder tests so that flag_pic gets enabled for -msep-data. 2008-01-25 Richard Guenther PR middle-end/32244 * expr.c (expand_expr_real_1): Reduce result of LSHIFT_EXPR to its bitfield precision if required. 2008-01-25 Jakub Jelinek PR middle-end/33880 * tree-nested.c (walk_omp_for): New function. (convert_nonlocal_reference, convert_local_reference): Call walk_omp_for on OMP_FOR. (convert_call_expr): Call walk_body on OMP_FOR's OMP_FOR_PRE_INIT_BODY. 2008-01-25 Richard Guenther PR tree-optimization/34966 * tree-ssa-math-opts.c (execute_cse_sincos_1): For all but default defs and PHI_NODEs we have to insert after the defining statement. 2008-01-24 Nick Clifton * config/stormy16/stormy16-lib2.c (MIN_UNITS_PER_WORD): Provide a default definition. (LIBGCC2_UNITS_PER_WORD): Likewise. * config/stormy16/stormy16.c: Include df.h for the prototype for df_regs_ever_live_p. (xstormy16_expand_builtin_va_start): Convert the stack offset into a component_ref and then use POINTER_PLUS_EXPR to add it to the incoming_virtual_args_rtx. (xstormy16_gimplify_va_arg_expr): Rename to xstormy16_gimplify_va_arg_expr. Use POINTER_PLUS_EXPR when performing pointer arithmetic. (TARGET_GIMPLIFY_VA_ARG_EXPR): Use renamed xstormy16_gimplify_va_arg_expr. Fix up some formatting issues. * config/stormy16/stormy16.c: (xstormy16_carry_plus_operand): Move to predicates.md. (xs_hi_general_operand): Likewise. (xs_hi_nonmemory_operand): Likewise. * config/stormy16/predicates.md: (xstormy16_carry_plus_operand): New predicate. (xs_hi_general_operand): New predicate. (xs_hi_nonmemory_operand): New predicate. * config/stormy16/stormy16-protos.h: (xstormy16_carry_plus_operand): Delete prototype. (xs_hi_general_operand): Likewise. (xs_hi_nonmemory_operand): Likewise. * config/storm16/stormy16.md (addhi3): Remove earlyclobber modifiers as they are no longer needed and they can trigger reload spill failures. * config/storm16/stormy16.md (ineqbranchsi): Replace match_dup with a match_operand in order to help reload. * config/storm16/stormy16.md (movhi_internal): Replace 'r' constraint with 'e' for the 8th alternative as this version of the mov.w instruction only accepts the lower 8 registers. 2008-01-25 Uros Bizjak PR target/34856 * simplifx-rtx.c (simplify_const_binary_operation) [VEC_CONCAT]: Consider only CONST_INT, CONST_DOUBLE and CONST_FIXED as constant vector elements. 2008-01-25 Jakub Jelinek PR middle-end/33333 * gimplify.c (gimplify_omp_for): Gimplify OMP_FOR_PRE_BODY. 2008-01-25 Golovanevsky Olga * ipa-struct-reorg.c (remove_str_allocs_in_func, remove_str_allocs): New functions. (remove_structure): Update allocations list before removing structure. 2008-01-25 Golovanevsky Olga * ipa-struct-reorg.c (is_safe_cond_expr, create_new_stmts_for_cond_expr): Use integer_zerop function, that recognize not only zero-pointer, but zero-integer too. 2008-01-25 Ben Elliston PR other/22232 * fixproto: Escape "." in sed expression that strips leading "./". 2008-01-24 H.J. Lu PR driver/34904 * gcc.c (SWITCH_OK): Removed. (SWITCH_LIVE): Changed to bit. (SWITCH_FALSE): Likewise. (SWITCH_IGNORE): Likewise. (switchstr): Change live_cond to unsigned int. (process_command): Replace SWITCH_OK with 0. (do_self_spec): Likewise. (set_collect_gcc_options): Check the SWITCH_IGNORE bit. (give_switch): Likewise. (used_arg): Likewise. (do_spec_1): Set the SWITCH_IGNORE bit. (check_live_switch): Check both SWITCH_LIVE and SWITCH_FALSE bits. Set the SWITCH_LIVE bit. 2008-01-24 Andreas Krebbel * config/s390/s390.h (MOVE_RATIO): Define new target macro. 2008-01-24 Richard Sandiford PR tree-optimization/34472 * ipa-struct-reorg.c (safe_cond_expr_check): Change the DATA parameter to a "bool *" and set *DATA to false if there is an unsafe access. Do not delete the structure here. (check_cond_exprs): Delete it here instead. (check_cond_exprs, exclude_cold_structs): Do not increase I when removing a structure. 2008-01-24 Uros Bizjak PR target/34856 * config/i386/i386.c (ix86_expand_vector_init): Consider only CONST_INT, CONST_DOUBLE and CONST_FIXED as constant vector elements. 2008-01-24 Jakub Jakub Jelinek PR middle-end/34934 * tree-stdarg.c (reachable_at_most_once): Use VEC vector instead of a fixed vector for stack. 2008-01-24 Ben Elliston PR c++/25701 * doc/gcc.texi (Software development): Add a direntry for g++. 2008-01-23 Hans-Peter Nilsson * config/cris/cris.h (CC1PLUS_SPEC, OPTIMIZATION_OPTIONS): Drop stale and straggling -fforce-addr comments above. * config/cris/cris.h (CRIS_SUBTARGET_VERSION, TARGET_VERSION): Don't define. * config/cris/linux.h (CRIS_SUBTARGET_VERSION): Don't define. * config/cris/aout.h (CRIS_SUBTARGET_VERSION): Don't define. 2008-01-23 Michael Matz PR debug/34895 * dwarf2out.c (force_type_die): Use modified_type_die instead of gen_type_die. 2008-01-23 Andreas Krebbel * ipa-struct-reorg.c (create_new_malloc): Use pointer type as malloc result type. 2008-01-23 Anatoly Sokolov * config/avr/avr.c (avr_current_arch): New variable. (avr_arch_types): Add 'avr31' and 'avr51' entries. (avr_arch): Add 'ARCH_AVR31' and 'ARCH_AVR51'. (avr_mcu_types): Add 'avr31' and 'avr51' architectures. (avr_override_options): Init 'avr_current_arch'. (base_arch_s): Move from here... * config/avr/avr.h (base_arch_s): ... here. Add new members 'have_elpm', 'have_elpmx', 'have_eijmp_eicall', 'reserved'. Rename 'mega' to 'have_jmp_call'. (TARGET_CPU_CPP_BUILTINS): Define "__AVR_HAVE_JMP_CALL__", "__AVR_HAVE_RAMPZ__", "__AVR_HAVE_ELPM__" and "__AVR_HAVE_ELPMX__" macros. (LINK_SPEC, CRT_BINUTILS_SPECS, ASM_SPEC): Add 'avr31' and 'avr51' architectures. * config/avr/t-avr (MULTILIB_OPTIONS, MULTILIB_DIRNAMES, MULTILIB_MATCHES): (Ditto.). 2008-01-23 Richard Guenther PR middle-end/31529 * cgraphunit.c (cgraph_reset_node): Always mark the node not reachable if it is not queued already. 2008-01-23 Bernd Schmidt * config/bfin/bfin-protos.h (WA_RETS, ENABLE_WA_RETS): New macros. * config/bfin/bfin.c (bfin_cpus): Add WA_RETS everywhere. (cputype_selected): New static variable. (bfin_handle_option): Set it if -mcpu is used. (override_option): Select default set of workarounds if no cpu type selected on the command line. (workaround_rts_anomaly): Only run if ENABLE_WA_RETS. From Michael Frysinger * config/bfin/bfin-protos.h (enum bfin_cpu_type): Add BFIN_CPU_BF547, BFIN_CPU_BF523, BFIN_CPU_BF524, and BFIN_CPU_BF526. * config/bfin/elf.h (LIB_SPEC): Use proper linker script for bf547, bf523, bf524, and bf526. * config/bfin/bfin.c (bfin_cpus[]): Add bf547, bf523, bf524, and bf526. * config/bfin/bfin.h (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF523__ for bf523, __ADSPBF524__ for bf524, __ADSPBF526__ for bf526, __ADSPBF52x__ for all three, as well as __ADSPBF547__ and __ADSPBF54x__ for bf547. * doc/invoke.texi (Blackfin Options): Document that -mcpu now accept bf547, bf523, bf524, and bf526. 2008-01-22 Eric Botcazou PR rtl-optimization/34628 * combine.c (try_combine): Stop and undo after the first combination if an autoincrement side-effect on the first insn has effectively been lost. 2008-01-22 David Edelsohn PR target/34529 * config/rs6000/rs6000.c (rs6000_legitimate_offset_address_p): Offset addresses are not valid for Altivec or paired float modes. 2008-01-22 Jakub Jelinek PR c++/34607 * c-parser.c (c_parser_omp_for_loop): Don't call c_finish_omp_for if DECL_INITIAL (decl) is error_mark_node. PR c++/34914 * c-common.c (handle_vector_size_attribute): Only allow integral, scalar float and fixed point types. Handle OFFSET_TYPE the same way as pointer, array etc. types. * tree.c (reconstruct_complex_type): Handle OFFSET_TYPE. PR c++/34917 * tree.c (build_type_attribute_qual_variant): Call build_qualified_type if attributes are equal, but quals are not. 2008-01-22 Manuel Lopez-Ibanez PR 32102 * doc/invoke.texi (-Wall): -Wall enables -Wstrict-overflow=1. * flags.h (warn_strict_aliasing): Remove. (warn_strict_overflow): Remove. * opts.c (warn_strict_aliasing): Remove. (warn_strict_overflow): Remove. * c-opts.c (c_common_handle_option): -Wall only sets -Wstrict-aliasing or -Wstrict-overflow if they are uninitialized. (c_common_post_options): Give default values to -Wstrict-aliasing and -Wstrict-overflow if they are uninitialized. * common.opt (Wstrict-aliasing): Specify Var and Init. (Wstrict-overflow): Likewise. 2008-01-22 Kenneth Zadeck PR rtl-optimization/26854 PR rtl-optimization/34400 PR rtl-optimization/34884 * ddg.c (create_ddg_dep_from_intra_loop_link): Use DF_RD->gen. * df.h (df_changeable_flags.DF_RD_NO_TRIM): Deleted (df_rd_bb_info.expanded_lr_out): Deleted * loop_invariant.c (find_defs): Deleted DF_RD_NO_TRIM flag. * loop_iv.c (iv_analysis_loop_init): Ditto. * df-problems.c (df_rd_free_bb_info, df_rd_alloc, df_rd_confluence_n, df_rd_bb_local_compute, df_rd_transfer_function, df_rd_free): Removed code to allocate, initialize or free expanded_lr_out. (df_rd_bb_local_compute_process_def): Restructured to make more understandable. (df_rd_confluence_n): Removed code to no apply invalidate_by_call sets if the sets are being trimmed. 2008-01-22 H.J. Lu PR bootstrap/32287 * configure.ac (ld_vers): Support GNU linker version xx.xx.* (as_vers): Likewise. * configure: Regenerated. 2008-01-22 Manuel Lopez-Ibanez PR middle-end/33092 * tree-pass.h (pass_build_alias): New pass. * tree-ssa-alias.c (gate_build_alias): New. (pass_build_alias): New. * passes.c (init_optimization_passes): Add pass_build_alias after pass_create_structure_vars. 2008-01-22 Wolfgang Gellerich * config/s390/s390.h (S390_TDC_POSITIVE_NORMALIZED_NUMBER): Renamed to S390_TDC_POSITIVE_NORMALIZED_BFP_NUMBER. (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): Renamed to S390_TDC_NEGATIVE_NORMALIZED_BFP_NUMBER. (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): Renamed to S390_TDC_POSITIVE_DENORMALIZED_BFP_NUMBER. (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): Renamed to S390_TDC_NEGATIVE_DENORMALIZED_BFP_NUMBER. (S390_TDC_POSITIVE_NORMALIZED_BFP_NUMBER): New constant. (S390_TDC_NEGATIVE_NORMALIZED_BFP_NUMBER): New constant. (S390_TDC_POSITIVE_DENORMALIZED_BFP_NUMBER): New constant. (S390_TDC_NEGATIVE_DENORMALIZED_BFP_NUMBER): New constant. * config/s390/s390.md (FP_ALL): New mode iterator. (_d): New mode attribute. ("*signbit2>"): Changed mode of first operand. ("isinf2"): Changed mode of first operand. ("*TDC_insn"): Adaptation for DFP modes. 2008-01-22 Ben Elliston * tree.c (check_qualified_type): Improve function description. 2008-01-21 Jason Merrill PR c++/34196 * tree.h (TRY_CATCH_IS_CLEANUP): New macro. * tree-eh.c (honor_protect_cleanup_actions): Strip TRY_CATCH_EXPR if it is set. 2008-01-21 DJ Delorie * doc/tm.texi (HARD_REGNO_NREGS): Note that this macro must not return zero. 2008-01-21 Richard Guenther PR middle-end/34856 * tree-cfg.c (verify_expr): Allow all invariant expressions instead of just constant class ones as reference argument. * tree-ssa-loop-im.c (for_each_index): Handle CONSTRUCTOR like any other constant. * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Likewise. 2008-01-21 H.J. Lu * regmove.c (fixup_match_1): Update call crossed frequencies. 2008-01-21 Richard Guenther PR c/34885 * tree-inline.c (setup_one_parameter): Deal with mismatched types using a VIEW_CONVERT_EXPR. 2008-01-21 Alon Dayan Olga Golovanevsky PR tree-optimization/34701 * ipa-struct-reorg.c (gen_size): Fix the malloc parameter calculation when the structure size is not a power of 2. 2008-01-20 Kenneth Zadeck * doc/install.texi: Add doc for --enable-checking=df. 2008-01-20 Kaz Kojima PR rtl-optimization/34808 * emit-rtl.c (try_split): Handle REG_RETVAL notes. 2008-01-20 Richard Sandiford * global.c (find_reg): Only compute EH_RETURN_DATA_REGNO once per input. 2008-01-19 Kenneth Zadeck PR rtl-optimization/26854 PR rtl-optimization/34400 * ddg.c (create_ddg_dep_from_intra_loop_link): Do not use DF_RD->gen. * df.h (df_changeable_flags.DF_RD_NO_TRIM): New. (df_rd_bb_info.expanded_lr_out): New. * loop_invariant.c (find_defs): Added DF_RD_NO_TRIM flag. * loop_iv.c (iv_analysis_loop_init): Ditto. * df-problems.c (df_rd_free_bb_info, df_rd_alloc, df_rd_confluence_n, df_rd_bb_local_compute, df_rd_transfer_function, df_rd_free): Added code to allocate, initialize or free expanded_lr_out. (df_rd_bb_local_compute_process_def): Restructured to make more understandable. (df_rd_confluence_n): Add code to do nothing with fake edges and code to no apply invalidate_by_call sets if the sets are being trimmed. (df_lr_local_finalize): Renamed to df_lr_finalize. (df_live_local_finalize): Renamed to df_live_finalize. 2008-01-20 Richard Sandiford PR target/34831 * config/mips/mips.md (div3): Use when deciding whether to use reciprocal instructions. 2008-01-19 Uros Bizjak * dwarf2out.c (dwarf2out_switch_text_section): Do not call dwarf2out_note_section_used if cold_text_section is NULL. 2008-01-19 Jakub Jelinek PR gcov-profile/34610 * tree-cfg.c (make_edges): Mark both outgoing edges from OMP_CONTINUE and from OMP_FOR as EDGE_ABNORMAL. * omp-low.c (expand_omp_for): Clear EDGE_ABNORMAL bits from OMP_FOR and OMP_CONTINUE outgoing edges. * tree-profile.c (tree_profiling): Return early if cfun->after_tree_profile != 0. Set cfun->after_tree_profile at the end. * omp-low.c (expand_omp_parallel): Copy after_tree_profile from cfun to child_cfun. * function.h (struct function): Add after_tree_profile bit. 2008-01-19 Anatoly Sokolov * config/avr/avr.S (_exit): Disable interrupt. 2008-01-18 Kenneth Zadeck Steven Bosscher PR rtl-optimization/26854 PR rtl-optimization/34400 * df-problems.c (df_live_scratch): New scratch bitmap. (df_live_alloc): Allocate df_live_scratch when doing df_live. (df_live_reset): Clear the proper bitmaps. (df_live_bb_local_compute): Only process the artificial defs once since the order is not important. (df_live_init): Init the df_live sets only with the variables found live by df_lr. (df_live_transfer_function): Use the df_lr sets to prune the df_live sets as they are being computed. (df_live_free): Free df_live_scratch. 2008-01-18 Ian Lance Taylor * common.opt: Add fmerge-debug-strings. * dwarf2out.c (DEBUG_STR_SECTION_FLAGS): Test flag_merge_debug_strings rather than flag_merge_constants. * doc/invoke.texi (Option Summary): Mention -fmerge-debug-strings. (Debugging Options): Document -fmerge-debug-strings. 2008-01-18 Ian Lance Taylor PR c++/33407 * tree.h (DECL_IS_OPERATOR_NEW): Define. (struct tree_function_decl): Add new field operator_new_flag. * tree-inline.c (expand_call_inline): When inlining a call to operator new, force the return value to go into a variable, and set DECL_NO_TBAA_P on that variable. * c-decl.c (merge_decls): Merge DECL_IS_OPERATOR_NEW flag. 2008-01-18 Uros Bizjak PR debug/34484 * dwarf2out.c (dwarf2out_switch_text_section): Do not guard with DWARF2_DEBUGGING_INFO. (dwarf2out_note_section_used): Ditto. Add prototype. (have_multiple_function_sections, text_section_used, cold_text_section_used, *cold_text_sections): Move declarations before their uses. 2008-01-17 Bob Wilson * config/xtensa/unwind-dw2-xtensa.h (_Unwind_FrameState): Remove pc field and add signal_ra. * config/xtensa/unwind-dw2-xtensa.c (uw_frame_state_for): Remove assignments to frame state pc. Move end of stack check after MD_FALLBACK_FRAME_STATE_FOR. (uw_update_context_1): Use frame state signal_regs if set, instead of checking signal_frame flag. (uw_update_context): Use frame state signal_ra if set. * config/xtensa/linux.h (MD_UNWIND_SUPPORT): Define. * config/xtensa/linux-unwind.h: New file. 2008-01-18 Bernhard Fischer * modulo-sched.c (get_sched_window): Fix comment typo. 2008-01-17 Andrew MacLeod PR tree-optimization/34648 * tree-ssa-sccvn.c (visit_use): Expressions which can throw are varying. 2008-01-17 Anatoly Sokolov * config/avr/avr.h (LINK_SPEC): Support -mrelax and -mpmem-wrap-around. * config/avr/avr.opt (mrelax, mpmem-wrap-around): Add. 2008-01-17 Seongbae Park PR rtl-optimization/34400 * df-core.c (df_worklist_dataflow_overeager, df_worklist_dataflow_doublequeue): New functions. (df_worklist_dataflow): Two different worklist solvers. * params.def (PARAM_DF_DOUBLE_QUEUE_THRESHOLD_FACTOR): New param. 2008-01-16 Sebastian Pop PR testsuite/34821 * doc/invoke.texi: Document the dependence on pthread for fopenmp and ftree-parallelize-loops. 2008-01-17 Mircea Namolaru PR rtl-optimization/34826 * loop-doloop (doloop_modify): Update the REG_BR_PROB note. 2008-01-17 Andreas Krebbel * global.c (find_reg): Mark the eh regs as used if necessary. * ra-conflict.c (global_conflicts): Set no_eh_reg flag. * ra.h (struct allocno): no_eh_reg field added. Changed no_stack_reg type to bitfield. 2008-01-17 Eric Botcazou * tree.c (substitute_in_expr): Add missing 'break'. 2008-01-17 Richard Guenther PR tree-optimization/34825 * tree-ssa-math-opts.c (is_division_by): Do not recognize x / x as division to handle. 2008-01-16 John David Anglin * pa64-hpux.h (LIB_SPEC): Add "-lpthread" in shared links if "-mt" or "-pthread" is specified. * pa-hpux11.h (LIB_SPEC): Likewise. 2008-01-16 Janis Johnson Peter Bergner PR rtl-optimization/33796 * sparseset.c (sparseset_alloc): Use xcalloc rather than xmalloc. 2008-01-16 John David Anglin PR libgfortran/34699 * pa-hpux.h (LINK_SPEC): Only search /lib/pa1.1 and /usr/lib/pa1.1 on static links. * pa-hpux10.h (LINK_SPEC): Likewise. * pa-hpux11.h (LINK_SPEC): Don't search /lib/pa1.1 and /usr/lib/pa1.1. 2008-01-16 Richard Guenther PR middle-end/32628 * fold-const.c (fold_convert_const_int_from_int): Do not set overflow if that occured only because of a sign extension change when converting from/to a sizetype with the same precision and signedness. 2008-01-16 Uros Bizjak PR debug/34249 * dwarf2out.c (output_call_frame_info): Move output of FDE initial location address to the correct place. Update copyright year. 2008-01-16 Sebastian Pop * lambda-code.c (lambda_transform_legal_p): Handle the case of no dependences in the dependence_relations vector. 2008-01-16 Jan Hubicka PR rtl-optimization/31396 * regstat.c (regstat_bb_compute_ri): Compute FREQ_CALLS_CROSSED. * cfg.c (dump_reg_info): Print it. * regs.h (struct reg_info_t): add freq_calls_crossed. (REG_FREQ_CALLS_CROSSED): New macro. * global.c (global_alloc): Compute freq_calls_crossed for allocno. (find_reg): Update call of CALLER_SAVE_PROFITABLE. * regmove.c (optimize_reg_copy_1, optimize_reg_copy_2, fixup_match_2, regmove_optimize): Update call crossed frequencies. * local-alloc.c (struct qty): Add freq_calls_crossed. (alloc_qty): Copute freq_calls_crossed. (update_equiv_regs, combine_regs): Update REG_FREQ_CALLS_CROSSED. (find_free_reg): Update call of CALLER_SAVE_PROFITABLE. * ra.h (struct allocno): Add freq_calls_crossed. 2008-01-16 Sebastian Pop * gcc.c (LINK_COMMAND_SPEC): Add includes and link options for libgomp when compiling with ftree-parallelize-loops. (GOMP_SELF_SPECS): Add -pthread for ftree-parallelize-loops. 2008-01-16 Richard Guenther PR tree-optimization/34769 * tree-data-ref.c (initialize_matrix_A): Revert fix for PR34458. * tree.c (int_cst_value): Instead make this function more permissive in what it accepts as valid input. Document this function always sign-extends the value. 2008-01-16 Jakub Jelinek Richard Guenther PR c/34668 * gimplify.c (fold_indirect_ref_rhs): Rename to ... (gimple_fold_indirect_ref_rhs): ... this. (gimple_fold_indirect_ref): New function with foldings that preserve lvalueness. (gimplify_modify_expr_rhs): Call gimple_fold_indirect_ref_rhs. * tree-flow.h (gimple_fold_indirect_ref): Declare. * tree-inline.c (copy_body_r): Use gimple_fold_indirect_ref to fold an INDIRECT_REF, fall back to the old use of fold_indirect_ref_1. 2008-01-16 Sebastian Pop * tree-data-ref.c (subscript_dependence_tester_1): Call free_conflict_function. (compute_self_dependence): Same. 2008-01-16 Uros Bizjak PR debug/34249 * debug.h (dwarf2out_switch_text_section): Move declaration from ... * dwarf2out.c (dwarf2out_switch_text_section): ... here. Make function global. * final.c (final_scan_insn) [NOTE_INSN_SWITCH_TEXT_SECTIONS]: Depending on dwarf2out_do_frame, call dwarf2out_switch_text_section for DWARF2_UNWIND_INFO targets. 2008-01-16 Richard Guenther PR c/34768 * c-typeck.c (common_pointer_type): Do not merge inconsistent type qualifiers for function types. 2008-01-15 Jerry DeLisle * tree-parloops.c (gen_parallel_loop): Fix ommision of declaration for loop_iterator li from previous commit. 2008-01-15 Sebastian Pop * tree-parloops.c (gen_parallel_loop): Free loop bound estimations. 2008-01-12 Sebastian Pop * tree-parloops.c (loop_has_blocks_with_irreducible_flag): New. (parallelize_loops): Don't parallelize irreducible components. 2008-01-14 Manuel Lopez-Ibanez PR c++/24924 * c-opts (c_common_post_options): Do not enable CPP flag_pedantic_errors by default. 2008-01-14 Eric Botcazou PR rtl-optimization/31944 * cse.c (remove_pseudo_from_table): New function. (merge_equiv_classes): Use above function to remove pseudo-registers. (invalidate): Likewise. 2008-01-13 Richard Guenther PR middle-end/34601 * emit-rtl.c (set_reg_attrs_for_decl_rtl): Use DECL_MODE instead of TYPE_MODE to deal with calls from expand_one_error_var. 2008-01-13 Uros Bizjak * gcse.c (cprop_jump): Call validate_unshare_change instead of validate_change to unshare the source of the PC set. 2008-01-12 Jan Hubicka PR middle-end/32135 * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Do not construct references above array bounds. This might trigger bounds checks for pointers to arrays. 2008-01-12 Sebastian Pop * tree-ssa-ter.c (free_temp_expr_table): Free num_in_part and new_replaceable_dependencies. 2008-01-12 Doug Kwan * c-decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers instead of OPT_Wreturn_type in warning due to ignored return type qualifiers. * c-opt.c (c_common_post_option): Add -Wignored-qualifiers to options included in -Wextra. * c.opt: New option -Wignored_qualifiers. * doc/invoke.texi (Warning Options, -Wextra): Add new option -Wignore_qualifiers. (-Wignored-qualifiers): Document. (-Wreturn-type): Remove description of functionality now handled by -Wignored-qualifiers. 2008-01-12 Eric Botcazou PR ada/33788 * fold-const.c (fold_unary) : Fold an existing NOP_EXPR if it is between integral types with the same precision. 2008-01-12 Jan Hubicka PR other/28023 * invoke.texi (max-inline-recursive-depth): Fix default value. 2008-01-12 Zdenek Dvorak * tree-parloops.c (transform_to_exit_first_loop): Cast nit to the correct type. 2008-01-11 Bob Wilson * config/xtensa/xtensa.c (override_options): Set flag_shlib. 2008-01-11 James E. Wilson PR target/26015 * config/vax/elf.h (FRAME_POINTER_CFA_OFFSET): Define. 2008-01-11 Anatoly Sokolov * config/avr/avr.c (expand_prologue, expand_epilogue): Don't save/restore frame pointer register and don't use 'call-prologues' optimization in function with "OS_task" attribute. 2008-01-11 Eric Botcazou PR middle-end/31309 * expr.c (copy_blkmode_from_reg): Use a mode suited to the size when copying to memory. 2008-01-11 Steven Bosscher PR rtl-optimization/30905 * cfgcleanup.c: Include dce.h (crossjumps_occured): New global variable. (try_crossjump_bb): Exit loop after finding a fallthru edge. If something changed, set crossjumps_occured to true. (try_optimize_cfg): Clear crossjumps_occured at the beginning. Don't add/remove fake edges to exit here... (cleanup_cfg): ...but do it here, when crossjumping. Run a fast DCE when successful crossjumps occured in the latest iteration of try_optimize_cfg. 2008-01-11 Richard Guenther * tree-ssa-sccvn.c (struct vn_binary_op_s): Move hashcode near opcode. (struct vn_unary_op_s): Likewise. (vn_reference_insert): Free old reference on hash collision. 2008-01-10 Raksit Ashok PR rtl-optimization/27971 * combine.c (find_split_point): Split PLUS expressions which are inside a MEM rtx, and whose first operand is complex. 2008-01-10 DJ Delorie * config/m32c/m32c.c (m32c_hard_regno_nregs_1): Renamed from... (m32c_hard_regno_nregs): ...this, which is now a wrapper. (m32c_hard_regno_ok): Call the underlying function. 2008-01-10 Richard Guenther PR middle-end/34683 * tree-cfg.c (tree_merge_blocks): Do not go through the full-blown folding and stmt updating path if we just deal with virtual operands. * tree-ssa-copy.c (may_propagate_copy): Do not short-cut test for abnormal SSA_NAMEs. 2008-01-10 Andreas Krebbel PR middle-end/34641 * reload.c (push_reload): Add assertions. All constants from reg_equiv_constant should have been used for replacing the respective pseudo earlier. (find_reloads_address): Invoke find_reloads_address_part for constant taken from the reg_equiv_constant array. 2008-01-10 Steven Bosscher * tree-ssa-sccvn.h (struct vn_ssa_aux): Make the most accessed field (valnum) the first in the struct. Replace bools with unit bit fields. 2008-01-10 Richard Guenther PR tree-optimization/34651 * tree-sra.c (sra_build_assignment): Sanitize. Use the correct types and ordering for masking and converting. 2008-01-09 Sebastian Pop PR tree-optimization/34017 * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Generate code also for PHI_NODE expressions. 2008-01-09 Jan Hubicka PR tree-optimization/34708 * tree-inline.c (estimate_num_insns_1): Compute cost of SWITCH_EXPR based on number of case labels. (init_inline_once): Remove switch_cost. * tree-inline.h (eni_weights_d): Remove switch_cost. 2008-01-09 Richard Guenther Andrew Pinski PR middle-end/30132 * gimplify.c (gimplify_cond_expr): Do not create an addressable temporary if an rvalue is ok or an lvalue is not required. 2008-01-09 Richard Guenther PR middle-end/34458 * tree-data-ref.c (initialize_matrix_A): Use tree_low_cst, adjust return type. 2008-01-09 Richard Guenther PR middle-end/34679 * tree.c (host_integerp): Check for sizetype only if the type is an integer type. 2008-01-09 Steven Bosscher PR debug/26364 * opts.c (decode_options): Disable inlining of functions called once if not in unit-at-a-time mode. 2008-01-09 Alexandre Oliva * Makefile.in (dse.o): Remove duplicate $(RECOG_H) dependency. 2008-01-08 Richard Guenther PR middle-end/31863 * tree-ssa-structalias.c (push_fields_onto_fieldstack): Bail out early if the result will be unused. 2008-01-08 Uros Bizjak PR target/34709 Revert: 2008-01-05 Uros Bizjak * config/i386/i386.c (ix86_builtin_reciprocal): Remove check for TARGET_RECIP. 2008-01-08 Jan Sjodin * config/i386/i386.c (k8_cost, amdfam10_cost): Branch costs for vectorization tuned. 2008-01-08 Richard Guenther PR tree-optimization/34683 * tree-ssa-operands.c (operand_build_cmp): Export. * tree-ssa-operands.h (operand_build_cmp): Declare. * tree-vn.c (vuses_compare): Remove. (sort_vuses): Use operand_build_cmp. (sort_vuses_heap): Likewise. * tree-ssa-sccvn.c (vuses_to_vec): Use VEC_reserve, not VEC_alloc to re-use old VEC if available. Do not sort already sorted VUSEs. (vdefs_to_vec): Do not sort already sorted VDEFs. 2008-01-08 Jakub Jelinek PR middle-end/34694 * omp-low.c (copy_var_decl): Copy also DECL_SOURCE_LOCATION. 2008-01-08 Uros Bizjak PR target/34702 * doc/invoke.texi (i386 and x86-64 Options) [mrecip]: Document limitations of reciprocal sequences on x86 targets. 2008-01-08 Richard Guenther PR tree-optimization/34683 * tree-flow-inline.h (var_ann): Remove overzealous asserts. 2008-01-07 Jakub Jelinek PR target/34622 * config/darwin.c (darwin_mergeable_string_section): Don't use .cstring if int_size_in_bytes != TREE_STRING_LENGTH. 2008-01-07 Uros Bizjak PR target/34682 * config/i386/i386.md (neg2): Rename from negsf2, negdf2 and negxf2. Macroize expander using X87MODEF mode iterator. Change predicates of op0 and op1 to register_operand. (abs2): Rename from abssf2, absdf2 and negxf2. Macroize expander using X87MODEF mode iterator. Change predicates of op0 and op1 to register_operand. ("*absneg2_mixed", "*absneg2_sse"): Rename from corresponding patterns and macroize using MODEF macro. Change predicates of op0 and op1 to register_operand and remove "m" constraint. Disparage "r" alternative with "!". ("*absneg2_i387"): Rename from corresponding patterns and macroize using X87MODEF macro. Change predicates of op0 and op1 to register_operand and remove "m" constraint. Disparage "r" alternative with "!". (absneg splitter with memory operands): Remove. ("*neg2_1", "*abs2_1"): Rename from corresponding patterns and macroize using X87MODEF mode iterator. * config/i386/sse.md (negv4sf2, absv4sf2, neg2vdf2, absv2df2): Change predicate of op1 to register_operand. * config/i386/i386.c (ix86_expand_fp_absneg_operator): Remove support for memory operands. 2008-01-07 Nathan Froyd * config/rs6000/rs6000.h (ASM_CPU_SPEC): Add clause for mcpu=8548. 2008-01-07 Richard Guenther * basic-block.h (struct edge_def): Pair dest_idx with goto_locus fields. 2008-01-07 Richard Guenther PR tree-optimization/34683 * tree-ssa-sccvn.c (vuses_to_vec): Pre-allocate the vector of VOPs of the needed size to save memory. Use VEC_quick_push to save compile-time. (vdefs_to_vec): Likewise. 2008-01-07 Sa Liu * config/spu/spu.md (divdf3): Genetate inline code for double division. The implementation doesn't handle INF or NAN, therefore it only applies when -ffinite-math-only is given. 2008-01-06 Paolo Carlini PR libstdc++/34680 * c-cppbuiltin.c (c_cpp_builtins): Define __GXX_RTTI, if appropriate. * doc/cpp.texi ([Common Predefined Macros]): Document. 2008-01-06 Uros Bizjak * config/i386/i386.c (ix86_emit_swsqrtsf): Use negative constants in order to use commutative addition instead of subtraction. 2008-01-06 Andrew Pinski Mircea Namolaru Vladimir Yanovsky Revital Eres PR tree-optimization/34263 * tree-outof-ssa.c (process_single_block_loop_latch, contains_tree_r): New functions. (analyze_edges_for_bb): Call process_single_block_loop_latch function to empty single-basic-block latch block if possible. 2008-01-05 Uros Bizjak * config/i386/i386.c (ix86_builtin_reciprocal): Remove check for TARGET_RECIP. (ix86_emit_swsqrtsf): Do not filter out infinity for rsqrt expansion. 2008-01-05 Richard Sandiford * c-omp.c (check_omp_for_incr_expr): Handle CONVERT_EXPR. 2008-01-05 Richard Sandiford * config/mips/mips.c (mips_in_small_data_p): Reinstate size > 0 check. 2008-01-05 Jakub Jelinek PR tree-optimization/34618 * tree-outof-ssa.c (create_temp): Copy over DECL_GIMPLE_REG_P flag from T. 2008-01-05 Uros Bizjak PR target/34673 * config/i386/i386.c (ix86_emit_swsqrtsf): Swap input operands in the call to gen_rtx_NE. Remove unneeded VECTOR_MODE_P check. Update copyright year. * config/i386/i386.md (rsqrtsf2): Enable for TARGET_SSE_MATH. Update copyright year. * config/i386/sse.md (rsqrtv4sf2): Ditto. Unconditionally expand using NR fixup. 2008-01-05 Zhouyi Zhou * tree-vrp.c (find_conditional_asserts): Remove redundant check that edge does not point to current bb before changing need_assert. 2008-01-04 Richard Guenther PR middle-end/34029 * tree-cfg.c (verify_expr): Do not look inside ADDR_EXPRs for verifying purposes if they are is_gimple_min_invariant. 2008-01-04 Aldy Hernandez PR tree-optimization/34448 PR tree-optimization/34465 * gimplify.c (gimplify_init_constructor): Add new parameter notify_temp_creation. Use it. (gimplify_modify_expr_rhs): Take volatiles into account when optimizing constructors. Do not optimize constructors if gimplify_init_constructor will dump to memory. * gcc.dg/tree-ssa/pr32901.c: Tests const volatiles. * gcc.c-torture/compile/pr34448.c: New. 2008-01-04 Jakub Jelinek PR gcov-profile/34609 * tree-inline.c (declare_return_variable): Set TREE_ADDRESSABLE on return_slot if result is TREE_ADDRESSABLE. 2008-01-04 Richard Sandiford * config/mips/mips.md (sqrt_condition): Tweak comment. (recip_condition): Likewise. Require TARGET_FLOAT64 for DFmode. 2008-01-03 Tom Tromey PR c/34457 * c-common.c (c_type_hash): Handle VLAs. 2008-01-03 Jan Hubicka PR tree-optimization/31081 * tree-inline.c (remap_ssa_name): Initialize uninitialized SSA vars to 0 when inlining and not inlining to first basic block. (remap_decl): When var is initialized to 0, don't set default_def. (expand_call_inline): Set entry_bb. * tree-inline.h (copy_body_data): Add entry_bb. 2008-01-03 Jakub Jelinek PR c++/34619 * cgraphunit.c (cgraph_build_static_cdtor): set_cfun back to NULL before returning. PR tree-optimization/29484 * tree-inline.c (inline_forbidden_p_2): New function. (inline_forbidden_p): Disallow inlining if some static var has an address of a local LABEL_DECL in its initializer. * doc/extend.texi (Labels as Values): Document &&foo behaviour vs. inlining. 2008-01-03 Sebastian Pop PR tree-optimization/34635 * tree-data-ref.c (add_other_self_distances): Make sure that the evolution step is constant. 2008-01-03 Jakub Jelinek PR middle-end/34608 * omp-low.c (expand_omp_parallel): Purge dead EH edges in the child fn. 2008-01-02 Richard Sandiford * tree-sra.c (scalarize_init): Insert the generate_element_init statements after the generate_element_zero statements. 2008-01-02 Richard Guenther PR middle-end/34093 PR middle-end/31976 * tree-ssa-operands.c (ssa_operand_alloc): Also allocate a buffer for very large number of operands instead of ICEing. 2008-01-02 Arthur Norman PR target/34013 * config/i386/i386.c (ix86_expand_prologue): Save red-zone while stack probing. 2008-01-01 Douglas Gregor * c-opts.c (sanitize_cpp_opts): Don't warn about "long long" when in C++0x mode. 2008-01-01 Volker Reichelt PR libmudflap/26442 * tree-mudflap.c (mx_register_decls): Guard warning by !DECL_ARTIFICIAL check. 2008-01-01 Jakub Jelinek * config/i386/sse.md (sse5_pperm, sse5_pperm_pack_v2di_v4si, sse5_pperm_pack_v4si_v8hi, sse5_pperm_pack_v8hi_v16qi, sse5_perm): Fix constraints.