OSDN Git Service

config/
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
index bda9ea2..78b0a9a 100644 (file)
@@ -1,3 +1,339 @@
+2007-09-07  Richard Sandiford  <richard@codesourcery.com>
+
+       * doc/invoke.texi: Document the MIPS -mlocal-sdata, -mextern-sdata
+       and -mgpopt options.  Adjust the -G documentation to match.
+       * config/mips/mips.opt (mextern-data, mgpopt, mlocal-data): New.
+       * config/mips/mips.c (mips_rtx_constant_in_small_data_p): New
+       function, split out from mips_classify_symbol.  Return false for
+       !TARGET_LOCAL_SDATA.
+       (mips_classify_symbol): Call mips_rtx_constant_in_small_data_p.
+       Only use GP-relative accesses for non-pool symbols if TARGET_GPOPT.
+       (override_options): Check whether the -mgpopt setting is consistent
+       with the other flags.
+       (symbolic_expression_p): Delete.
+       (mips_select_rtx_section): Use mips_rtx_constant_in_small_data_p
+       and default_elf_select_rtx_section.
+       (mips_in_small_data_p): Honor section attributes for MIPS16 too.
+       Return false for local data unless TARGET_LOCAL_SDATA.  Likewise
+       external data and TARGET_EXTERN_SDATA.
+
+2007-09-07  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/33303
+       * doc/cpp.texi (Common Predefined Macros): Add __GFORTRAN__.
+
+2007-09-05  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
+
+       * regrename.c (copyprop_hardreg_forward_1): New variable next. Use
+       FOR_BB_INSNS_SAFE instead of for loop.
+       * cse.c (cse_extended_basic_block): Likewise.
+       * postreload.c (reload_cse_regs_1): New variable next. Make sure
+       that the for loop does not invoke NEXT_INSN on a deleted insn.
+       * function.c (instantiate_virtual_regs): Likewise.
+       * lower-subreg.c (remove_retval_note): Likewise.
+       (decompose_multiword_subregs): Use FOR_BB_INSNS_SAFE instead of
+       FOR_BB_INSNS.
+       * emit-rtl.c (remove_insn): Set NEXT_INSN and PREV_INSN to NULL on
+       a deleted insn.
+       * cfgrtl.c (delete_insn): Set JUMP_LABEL to NULL on a deleted
+       insn, if it's a jump.
+       (try_redirect_by_replacing_jump): New variable jump_p. Call
+       tablejump_p before delete_insn_chain.
+       * reload1.c (reload): New variable next. Make sure that the for
+       loop does not invoke NEXT_INSN on a deleted insn.
+       (fixup_eh_region_note): Make the loop terminate if i becomes NULL.
+       (delete_output_reload): New variable prev. Make sure the the for
+       loops do not invoke PREV_INSN on a deleted insn.
+
+2007-09-06  Zdenek Dvorak  <ook@ucw.cz>
+
+       * cgraphbuild.c (rebuild_cgraph_edges): Export.
+       * cgraph.h (rebuild_cgraph_edges): Declare.
+       * tree-pass.h (pass_expand_omp_ssa): New.
+       * omp-low.c (find_omp_clause): Export.
+       (copy_var_decl): Split from omp_copy_decl_2.
+       (build_omp_barrier): Return the call to emit instead of emitting
+       it directly.
+       (lower_rec_input_clauses, expand_omp_single): Gimplify the result of
+       build_omp_barrier.
+       (extract_omp_for_data, expand_parallel_call, expand_omp_parallel,
+       expand_omp_for_generic, expand_omp_for_static_nochunk,
+       expand_omp_for_static_chunk, expand_omp_for, expand_omp_sections):
+       Adapted to work on SSA form.
+       (execute_expand_omp): Do not invalidate dominance information.
+       (gate_expand_omp): Do not run with -fopenmp-ssa flag.
+       (gate_expand_omp_ssa, pass_expand_omp_ssa): New.
+       * gimplify.c (gimplify_omp_for): Ensure that the control variable is
+       a gimple_reg.
+       (force_gimple_operand): Allow gimplifying code expressions without
+       value.
+       * tree-predcom.c (mark_virtual_ops_for_renaming): Handle phi nodes.
+       * common.opt (fopenmp-ssa): New.
+       * tree-flow.h (find_omp_clause, copy_var_decl): Declare.
+       * Makefile.in (tree-cfg.o): Add TREE_INLINE_H dependency.
+       * tree-cfg.c: Include tree-inline.h.
+       (struct move_stmt_d): Replace vars_to_remove by vars_map field.
+       (replace_by_duplicate_decl, replace_ssa_name,
+       mark_virtual_ops_in_region): New functions.
+       (move_stmt_r, move_block_to_fn, move_sese_region_to_fn): Adapted
+       to work on SSA form.
+       * passes.c (init_optimization_passes): Add pass_expand_omp_ssa pass.
+       * tree-ssa-operands.c (get_expr_operands): Handle operands of OMP
+       constructs.
+
+2007-09-06  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
+
+       * tree-loop-linear.c: Include obstack.h.
+       (linear_transform_loops): New obstack lambda_obstack.
+       Initialize it, pass it to gcc_loopnest_to_lambda_loopnest,
+       lambda_loopnest_transform, lambda_loopnest_to_gcc_loopnest calls
+       and free afterwards.
+       * lambda.h (struct obstack): New forward declaration.
+       (lambda_linear_expression_new): New parameter of type struct
+       obstack *.
+       (lambda_loopnest_new): Likewise.
+       (lambda_loopnest_transform): Likewise.
+       (lambda_body_vector_new): Likewise.
+       (lambda_body_vector_compute_new): Likewise.
+       (gcc_loopnest_to_lambda_loopnest): Likewise.
+       (lambda_loopnest_to_gcc_loopnest): Likewise.
+       * lambda-code.c: Include obstack.h.
+       (lambda_lattice_new): New parameter lambda_obstack.  Use it for
+       allocation of ret.
+       (lambda_body_vector_new): Likewise.
+       (lambda_linear_expression_new): Likewise.
+       (lambda_lattice_new): Likewise.
+       (lambda_loopnest_new): Likewise.  Additionally use obstack to
+       allocate LN_LOOPS(ret).
+       (lambda_lattice_compute_base): New parameter lambda_obstack.  Pass
+       it to lambda_lattice_new.
+       (lambda_body_vector_compute_new): New parameter lambda_obstack.
+       Pass it to lambda_body_vector_new.
+       (lambda_lattice_compute_base): New paramater lambda_obstack.  Pass
+       it to lambda_lattice_new.
+       (compute_nest_using_fourier_motzkin): New parameter lambda_obstack.
+       Pass it to lambda_loopnest_new, lambda_linear_expression_new.
+       (lambda_compute_target_space): Likewise.
+       (lambda_compute_auxillary_space): New parameter lambda_obstack.
+       Pass it to lambda_lattice_compute_base and
+       compute_nest_using_fourieer_motzkin.
+       (lambda_loopnest_transform): New parameter lambda_obstack.  Pass
+       it to lambda_lattice_compute_base, lambda_lattice_auxillary_space
+       and lambda_lattice_compute_target_space.
+       (gcc_tree_to_linear_expression): Nex parameter lambda_obstack.
+       Pass it to lambda_linear_expression_new.
+       (gcc_loop_to_lambda_loop): New parameter lambda_obstack.  Pass it
+       to gcc_tree_to_linear_expression.
+       (gcc_loopnest_to_lambda_loopnest): New parameter lambda_obstack.
+       Pass it to gcc_loop_to_lambda_loop and lambda_loopnest_new.
+       (lambda_loopnest_to_gcc_loopnest): New parameter lambda_obstack.
+       Pass it to lambda_body_vector_new and
+       lambda_body_vector_compute_new.
+       * Makefile.in (tree-loop-linear.o): Add $(OBSTACK_H) dependency.
+       (lambda-code.o): Likewise.
+
+2007-09-06  Chao-ying Fu  <fu@mips.com>
+
+       * ginclude/stdfix.h: New file.
+       * Makefile.in (USER_H): Add $(srcdir)/ginclude/stdfix.h.
+       (convert.o): Add dependence on fixed-value.h.
+       * c-convert.c (convert): Support FIXED_POINT_TYPE.
+       * c-cppbuiltin.c (builtin_define_fixed_point_constants): New function
+       to define fixed-point constants.
+       (c_cpp_builtins): Define fixed-point constants.
+       * convert.c (fixed-value.h): New include.
+       (convert_to_real): Update comment to include fixed-point.
+       Support FIXED_POINT_TYPE.
+       (convert_to_integer): Update comment to include fixed-point.
+       Support FIXED_POINT_TYPE.
+       (convert_to_complex): Support FIXED_POINT_TYPE.
+       (convert_to_fixed): New function.
+       * convert.h (convert_to_fixed): Declare.
+       * genopinit.c: Add comment about $Q for only fixed-point modes.
+       (optabs): Add fract_optab, fractuns_optab, satfract_optab,
+       satfractuns_optab, add_optab, ssadd_optab, usadd_optab, sub_optab,
+       sssub_optab, ussub_optab, smul_optab, ssmul_optab, usmul_optab,
+       ssmadd_widen_optab, usmadd_widen_optab, ssdiv_optab, udiv_optab,
+       usdiv_optab, ssashl_optab, usashl_optab, neg_optab, ssneg_optab,
+       usneg_optab for fixed-point modes.
+       (gen_insn): Add force_fixed to track the $Q format for all fixed-point
+       modes.
+       * optabs.c (optab_for_tree_code): For *DIV_EXPR, LSHIFT_EXPR,
+       PLUS_EXPR, MINUS_EXPR, MULT_EXPR, NEGATE_EXPR, return signed or
+       unsigned saturation optabs, when type is saturating.
+       (shift_optab_p): Return true for SS_ASHIFT or US_ASHIFT.
+       (expand_fixed_convert): New function.
+       (gen_fixed_libfunc, gen_signed_fixed_libfunc,
+       gen_unsigned_fixed_libfunc, gen_int_fp_fixed_libfunc,
+       gen_int_fp_signed_fixed_libfunc, gen_int_fixed_libfunc,
+       gen_int_signed_fixed_libfunc, gen_int_unsigned_fixed_libfunc,
+       gen_fract_conv_libfunc, gen_fractuns_conv_libfunc,
+       gen_satfract_conv_libfunc, gen_satfractuns_conv_libfunc): New
+       functions.
+       (init_optabs): Initialize ssadd_optab, usadd_optab, sssub_optab,
+       ussub_optab, ssmul_optab, usmul_optab, ssmadd_widen_optab,
+       usmadd_widen_optab, ssmsub_widen_optab, usmsub_widen_optab,
+       ssdiv_optab, usdiv_optab, ssashl_optab, usashl_optab, ssneg_optab,
+       usneg_optab, fract_optab, fractuns_optab, satfract_optab,
+       satfractuns_optab.
+       Initialize fixed-point libraries, including add, ssadd, usadd, sub,
+       sssub, ussub, mul, ssmul, usmul, div, ssdiv, udiv, usdiv, ashl,
+       ssashl, usashl, ashr, lshr, neg, ssneg, usneg, cmp, fract, satfract,
+       fractuns, satfractuns.
+       * optabs.h (enum optab_index): Add OTI_ssadd, OTI_usadd, OTI_sssub,
+       OTI_ussub, OTI_ssmul, OTI_usmul, OTI_ssdiv, OTI_usdiv, OTI_ssneg,
+       OTI_usneg, OTI_ssashl, OTI_usashl, OTI_ssmadd_widen, OTI_usmadd_widen,
+       OTI_ssmsub_widen,  OTI_usmsub_widen.
+       (ssadd_optab, usadd_optab, sssub_optab, ussub_optab, ssmul_optab,
+       usmul_optab, ssdiv_optab, usdiv_optab, ssneg_optab, usneg_optab,
+       ssashl_optab, usashl_optab, ssmadd_widen_optab, usmadd_widen_optab,
+       umsub_widen_optab, usmsub_widen_optab): Define.
+       (enum convert_optab_index): Add COI_fract, COI_fractuns, COI_satfract,
+       COI_satfractuns.
+       (fract_optab, fractuns_optab, satfract_optab, satfractuns_optab):
+       Define.
+       (expand_fixed_convert): Declare.
+       * expr.c (convert_move): Support the move of fixed-point modes.
+       (emit_move_insn_1): Handle fixed-point mode to move via integer.
+       (categorize_ctor_elements_1): Handle FIXED_CST.
+       (count_type_elements): Handle FIXED_POINT_TYPE.
+       (expand_expr_real_1): For VECTOR_CST, check MODE_VECTOR_FRACT,
+       MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM.
+       Support FIXED_CST.
+       For PLUS_EXPR and MINUS_EXPR, support saturating and non-saturating
+       multiply and add/subtract for fixed-point types.
+       For MULT_EXPR, *DIV_EXPR, *SHIFT_EXPR, if the mode if a fixed-point
+       mode, we jump to binop directly.
+       Support FIXED_CONVERT_EXPR.
+       (do_store_flag): Check FIXED_CST to put a constant second.
+       (vector_mode_valid_p): Handle MODE_VECTOR_FRACT,
+       MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM.
+       (const_vector_from_tree): Support FIXED_CST.
+       * doc/extend.texi (Fixed-Point): New node.
+       * doc/md.texi (ssadd, usadd, sssub, ussub, ssmul, usmul, ssdiv, usdiv,
+       ssmadd, usmadd, ssmsub, usmsub, ssashl, usashl, ssneg, usneg, fract,
+       satfract, fractuns, satfractuns): Document them.
+
+2007-09-07  Bernd Schmidt  <bernd.schmidt@analog.com>
+
+       * config/bfin/bfin.h (PREFERRED_RELOAD_CLASS): Don't reload autoinc
+       addresses into I registers.
+
+2007-09-06  Jan Hubicka  <jh@suse.cz>
+           Andreas Tobler  <a.tobler@schweiz.org>
+
+       * config/darwin.c (machopic_indirect_data_reference): Avoid invalid
+       sharing.
+       (machopic_legitimize_pic_address): Likewise.
+
+2007-09-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+            Jan Hubicka  <jh@suse.cz>
+
+       * config/spu/spu.md (floatsidf2): Use convert_optab_libfunc
+       instead of ufloat_optab->handlers directly.
+       (floatdidf2): Likewise.
+
+2007-09-06  Sandra Loosemore  <sandra@codesourcery.com>
+
+       * config/mips/mips.c:  Include diagnostic.h.
+       (mips_set_current_function): Check errorcount and sorrycount 
+       before generating RTL.
+
+2007-09-06  Richard Sandiford  <richard@codesourcery.com>
+
+       PR target/33256
+       * config/mips/mips.c (mips_classify_symbolic_expression): New function.
+       (mips_classify_address): Use it instead of mips_symbolic_constant_p.
+       (print_operand_reloc): Likewise.
+
+2007-09-06  Janis Johnson  <janis187@us.ibm.com>
+
+       Revert:
+
+       2007-09-06  Jan Hubicka  <jh@suse.cz>
+       * i386.c (ix86_expand_lround, ix86_expand_round): Update call of
+       real_2expN.
+
+       2007-09-06  Richard Sandiford  <richard@codesourcery.com>
+
+       * config/mips/mips.md (fixuns_truncdfsi2, fixuns_truncdfdi2)
+       (fixuns_truncsfsi2, fixuns_truncsfdi2): Update calls to real_2expN.
+
+       2007-09-05  Janis Johnson  <janis187@us.ibm.com>
+
+       * optabs.c (expand_float): Convert unsigned integer as signed only
+       if it provides sufficient accuracy; add mode argument to real_2expN.
+       (expand_fix): Fix comment typos; extend binary float into mode
+       wider than destination for converion to unsigned integer; add mode
+       argument to real_2expN.
+       * real.c (real_2expN): Add mode argument to special-case decimal
+       float values.
+       * real.h (real_2expN): Ditto.
+       * fixed-value.c (check_real_for_fixed_mode): Add mode argument to
+       real_2expN.
+       (fixed_from_string): Ditto.
+       (fixed_to_decimal): Ditto.
+       (fixed_convert_from_real): Ditto.
+       (real_convert_from_fixed): Ditto.
+       * config/rs6000/rs6000.md (FP): Include DD and TD modes.
+       * config/rs6000/dfp.md (extendddtd2, adddd3, addtd3, subdd3, subtd3,
+       muldd3, multd3, divdd3, divtd3, cmpdd_internal1, cmptd_internal1,
+       floatditd2, ftruncdd2, fixdddi2, ftrunctd2, fixddi2): New.
+
+2007-09-06  Tom Tromey  <tromey@redhat.com>
+
+       * tree-cfg.c (remove_bb): Only warn if line is non-zero.
+       * c-pch.c (c_common_read_pch): Restore current location after
+       reading PCH file.
+       * tree.c (expand_location): Update.
+       (expr_filename): Changed return type.  Unified the two cases.
+       (expr_lineno): Likewise.
+       (annotate_with_file_line): Don't use EXPR_LINENO and EXPR_FILENAME
+       as lvalues.
+       * toplev.c (line_table): Changed type.
+       (general_init): Update.
+       (realloc_for_line_map): New function.
+       (general_init): Allocate line_table using GC.
+       * fix-header.c (line_table): Changed type.
+       (read_scan_file): Update.
+       (read_scan_file): Update.
+       * c-ppoutput.c (maybe_print_line): Update.
+       (print_line): Update.
+       (cb_line_change): Update.
+       (cb_define): Update.
+       (pp_file_change): Update.
+       * c-opts.c (c_common_init_options): Update.
+       (finish_options): Update.
+       (push_command_line_include): Update.
+       * c-lex.c (cb_line_change): Update.
+       (cb_def_pragma): Update.
+       (cb_define): Update.
+       (cb_undef): Update.
+       (c_lex_with_flags): Use cpp_get_token_with_location.
+       * input.h (line_table): Changed type.
+       (location_from_locus): New macro.
+       * tree.h (EXPR_FILENAME): No longer an lvalue.
+       (EXPR_LINENO): Likewise.
+       (expr_locus, set_expr_locus): Declare separately for
+       USE_MAPPED_LOCATION.
+       (expr_filename, expr_lineno): Changed return type.
+       * gimplify.c (tree_to_gimple_tuple): Use SET_EXPR_LOCUS.
+       * cfgexpand.c (expand_gimple_cond_expr): Use location_from_locus.
+       (expand_gimple_basic_block): Likewise.
+       * final.c (final_scan_insn): Use expanded_location.
+
+2007-09-06  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/32586
+       * tree-ssa-sccvn.c (simplify_binary_expression): Avoid
+       folding if nothing changed.
+       (simplify_unary_expression): New function.  Do tree combining
+       on conversion like codes.
+       (try_to_simplify): Call it.
+       * builtins.c (fold_builtin_cexp): Fold the built expressions.
+       * fold-const.c (fold_unary): Test result of get_callee_fndecl().
+
 2007-09-06  Jan Hubicka  <jh@suse.cz>
 
        PR target/33318