X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2FChangeLog;h=ad93ab2ba92c55edd01cd085af39e7c32200b204;hb=6ce64557261aa25787ccd361731c97f343b94f66;hp=ce250d55bb080327c207f08041939a4ac0f734d9;hpb=cc76f102cee16abb2a551d50a3b20447302e3204;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ce250d55bb0..ad93ab2ba92 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,819 @@ +2009-03-31 Alan Modra + + * config/spu/spu.c (spu_expand_prologue): Delete redundant code. + +2009-03-30 Jan Hubicka + + * tree-eh.c (make_eh_edges): Set probability 100% to first edge + out of RESX. + (tree_remove_unreachable_handlers): Cleanup EH predecestor + detection and label handling. + +2009-03-30 Vladimir Makarov + + * ira-int.h (ira_allocno): Rename left_conflicts_num to + left_conflicts_size. + (ALLOCNO_LEFT_CONFLICTS_NUM): Rename to + ALLOCNO_LEFT_CONFLICTS_SIZE. + + * ira-color.c (allocno_spill_priority, push_allocno_to_stack, + remove_allocno_from_bucket_and_push, + allocno_spill_priority_compare, push_allocnos_to_stack, + setup_allocno_available_regs_num): Use ALLOCNO_LEFT_CONFLICTS_SIZE + instead of ALLOCNO_LEFT_CONFLICTS_NUM. + (setup_allocno_left_conflicts_num): Ditto. Rename to + setup_allocno_left_conflicts_size. + (put_allocno_into_bucket): Use ALLOCNO_LEFT_CONFLICTS_SIZE + instead of ALLOCNO_LEFT_CONFLICTS_NUM and + setup_allocno_left_conflicts_size instead of + setup_allocno_left_conflicts_num. + + * ira-build.c (ira_create_allocno): Use + ALLOCNO_LEFT_CONFLICTS_SIZE instead of + ALLOCNO_LEFT_CONFLICTS_NUM. + +2009-03-30 Vladimir Makarov + + * reload.c (push_reload, find_dummy_reload): Use df_get_live_out + instead of DF_LR_OUT. + + * ira-lives.c (process_bb_node_lives): Ditto. + + * ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in} + instead of DF_LR_{OUT,IN}. + + * ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto. + + * ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto. + +2009-03-30 Jan Hubicka + + * except.c (label_to_region_map): Fix thinko. + +2009-03-30 Steve Ellcey + + PR middle-end/38237 + * tree.h (tree_find_value): New declaration. + * tree.c (tree_find_value): New function. + * varasm.c (assemble_external): Avoid duplicate entries on lists. + +2009-03-30 Jakub Jelinek + + PR debug/39563 + * c-decl.c (struct c_binding): Add locus field. + (bind): Add locus argument, set locus field from it. + (pop_scope): For b->nested VAR_DECL or FUNCTION_DECL, + add a DECL_EXTERNAL copy of b->decl to current BLOCK_VARS. + (push_file_scope, pushtag, pushdecl, pushdecl_top_level, + implicitly_declare, undeclared_variable, lookup_label, + declare_label, c_make_fname_decl, c_builtin_function, + c_builtin_function_ext_scope, store_parm_decls_newstyle): Adjust + bind callers. + +2008-03-30 H.J. Lu + + PR target/38781 + * config/i386/i386.c (classify_argument): Check total size of + structure. + +2009-03-30 Martin Jambor + + * ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN, IPA_CONST, + IPA_CONST_MEMBER_PTR, and IPA_PASS_THROUGH to IPA_JF_UNKNOWN, + IPA_JF_CONST, IPA_JF_CONST_MEMBER_PTR, and IPA_JF_PASS_THROUGH + respectively. + + * tree-dfa.c (get_ref_base_and_extent): Return -1 maxsize if + seen_variable_array_ref while also traversing a union. + + * tree-inline.c (optimize_inline_calls): Do not call + cgraph_node_remove_callees. + * cgraphbuild.c (remove_cgraph_callee_edges): New function. + (pass_remove_cgraph_callee_edges): New variable. + * passes.c (init_optimization_passes): Add + pass_remove_cgraph_callee_edges after early inlining and before all + late intraprocedural passes. + + * omp-low.c (expand_omp_taskreg): Always set current_function_decl. + +2009-03-30 Paolo Bonzini + + * config/sparc/sparc.md (*nand_vis, *nand_vis): + Fix typos in names. + +2009-03-30 Paolo Bonzini + + * combine.c (simplify_comparison): Use have_insn_for. + * dojump.c (do_jump): Likewise. + +2009-03-30 Paolo Bonzini + + * config/sparc/sparc.c (sparc_compare_emitted): Remove. + (gen_compare_reg, emit_v9_brxx_insn): Handle MODE_CC + sparc_compare_op0 like sparc_compare_emitted used to be handled. + (sparc_expand_compare_and_swap_12): Set sparc_compare_op0 + instead of sparc_compare_emitted. + * config/sparc/sparc.h (sparc_compare_emitted): Remove. + * config/sparc/sparc.md (stack_protect_test): Set sparc_compare_op0 + instead of sparc_compare_emitted. + +2009-03-30 Paolo Bonzini + + * bb-reorder.c (partition_hot_cold_basic_blocks): Do not + enter/exit cfglayout mode. + (pass_partition_block): Require it. + * combine.c (find_single_use, reg_dead_at_p): Use CFG. + (combine_instructions): Track basic blocks instead of labels. + (update_cfg_for_uncondjump): New. + (try_combine): Use it. Update jumps after rescanning. + (pass_combine): Require PROP_cfglayout. + * passes.c (pass_outof_cfg_layout_mode): Move after regmove. + +2009-03-30 Paolo Bonzini + + * cfglayout.c (pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): + Provide/destroy PROP_cfglayout respectively. + * gcse.c (pass_jump_bypass, pass_gcse): Require it. + * tree-pass.h (PROP_cfglayout): New. + +2009-03-30 Paolo Bonzini + + * fold-const.c (const_binop, fold_convert_const_real_from_fixed, + fold_convert_const_fixed_from_fixed, + fold_convert_const_fixed_from_int, + fold_convert_const_fixed_from_real, fold_negate_const): Do not + set TREE_CONSTANT_OVERFLOW. + * tree.def: Remove mention of TREE_CONSTANT_OVERFLOW. + * tree.h (TREE_CONSTANT_OVERFLOW): Delete. + +2009-03-30 Ira Rosen + + * tree-vect-loop-manip.c: New file. + * tree-vectorizer.c: Update documentation and included files. + (vect_loop_location): Make extern. + (rename_use_op): Move to tree-vect-loop-manip.c + (rename_variables_in_bb, rename_variables_in_loop, + slpeel_update_phis_for_duplicate_loop, + slpeel_update_phi_nodes_for_guard1, + slpeel_update_phi_nodes_for_guard2, slpeel_make_loop_iterate_ntimes, + slpeel_tree_duplicate_loop_to_edge_cfg, slpeel_add_loop_guard, + slpeel_can_duplicate_loop_p, slpeel_verify_cfg_after_peeling, + set_prologue_iterations, slpeel_tree_peel_loop_to_edge, + find_loop_location): Likewise. + (new_stmt_vec_info): Move to tree-vect-stmts.c. + (init_stmt_vec_info_vec, free_stmt_vec_info_vec, free_stmt_vec_info, + get_vectype_for_scalar_type, vect_is_simple_use, + supportable_widening_operation, supportable_narrowing_operation): + Likewise. + (bb_in_loop_p): Move to tree-vect-loop.c. + (new_loop_vec_info, destroy_loop_vec_info, + reduction_code_for_scalar_code, report_vect_op, + vect_is_simple_reduction, vect_is_simple_iv_evolution): Likewise. + (vect_can_force_dr_alignment_p): Move to tree-vect-data-refs.c. + (vect_supportable_dr_alignment): Likewise. + * tree-vectorizer.h (tree-data-ref.h): Include. + (vect_loop_location): Declare. + Reorganize function declarations according to the new file structure. + * tree-vect-loop.c: New file. + * tree-vect-analyze.c: Remove. Move functions to tree-vect-data-refs.c, + tree-vect-stmts.c, tree-vect-slp.c, tree-vect-loop.c. + * tree-vect-data-refs.c: New file. + * tree-vect-patterns.c (timevar.h): Don't include. + * tree-vect-stmts.c: New file. + * tree-vect-transform.c: Remove. Move functions to tree-vect-stmts.c, + tree-vect-slp.c, tree-vect-loop.c. + * Makefile.in (OBJS-common): Remove tree-vect-analyze.o and + tree-vect-transform.o. Add tree-vect-data-refs.o, tree-vect-stmts.o, + tree-vect-loop.o, tree-vect-loop-manip.o, tree-vect-slp.o. + (tree-vect-analyze.o): Remove. + (tree-vect-transform.o): Likewise. + (tree-vect-data-refs.o): Add rule. + (tree-vect-stmts.o, tree-vect-loop.o, tree-vect-loop-manip.o, + tree-vect-slp.o): Likewise. + (tree-vect-patterns.o): Remove redundant dependencies. + (tree-vectorizer.o): Likewise. + * tree-vect-slp.c: New file. + +2009-03-30 Ralf Wildenhues + + * optc-gen.awk: Warn if an option flag has multiple different + help strings. + +2009-03-30 Sebastian Pop + + * doc/invoke.texi (-floop-interchange, -floop-strip-mine, + -floop-block): Document dependences on PPL, CLooG and Graphite. + +2009-03-30 Joseph Myers + + PR rtl-optimization/323 + * c-common.c (c_fully_fold, convert_and_check, + c_common_truthvalue_conversion): Handle EXCESS_PRECISION_EXPR. + (c_fully_fold_internal): Disallow EXCESS_PRECISION_EXPR. + * c-common.def (EXCESS_PRECISION_EXPR): New. + * c-cppbuiltin.c (builtin_define_float_constants): Define + constants with enough digits for long double. + * c-lex.c (interpret_float): Interpret constant with excess + precision where appropriate. + * c-opts.c (c_common_post_options): Set + flag_excess_precision_cmdline. Give an error for + -fexcess-precision=standard for C++ for processors where the + option is significant. + * c-parser.c (c_parser_conditional_expression): Handle excess + precision in condition. + * c-typeck.c (convert_arguments): Handle arguments with excess + precision. + (build_unary_op): Move excess precision outside operation. + (build_conditional_expr): Likewise. + (build_compound_expr): Likewise. + (build_c_cast): Do cast on operand of EXCESS_PRECISION_EXPR. + (build_modify_expr): Handle excess precision in RHS. + (convert_for_assignment): Handle excess precision in converted + value. + (digest_init, output_init_element, process_init_element): Handle + excess precision in initializer. + (c_finish_return): Handle excess precision in return value. + (build_binary_op): Handle excess precision in operands and add + excess precision as needed for operation. + * common.opt (-fexcess-precision=): New option. + * config/i386/i386.h (X87_ENABLE_ARITH, X87_ENABLE_FLOAT): New. + * config/i386/i386.md (float2): + For standard excess precision, output explicit conversion to and + truncation from XFmode. + (*float2_1, + *float2_i387_with_temp, + *float2_i387, two unnamed + define_splits, floatdi2_i387_with_xmm, two unnamed + define_splits, *floatunssi2_1, two unnamed define_splits, + floatunssi2, add3, sub3, mul3, divdf3, + divsf3, *fop__comm_i387, *fop__1_i387, + *fop__2_i387, *fop__3_i387, + *fop_df_4_i387, *fop_df_5_i387, *fop_df_6_i387, two unnamed + define_splits, sqrt2): Disable where appropriate for + standard excess precision. + * convert.c (convert_to_real): Do not shorten arithmetic to type + for which excess precision would be used. + * defaults.h (TARGET_FLT_EVAL_METHOD_NON_DEFAULT): Define. + * doc/invoke.texi (-fexcess-precision=): Document option. + (-mfpmath=): Correct index entry. + * flags.h (enum excess_precision, flag_excess_precision_cmdline, + flag_excess_precision): New. + * langhooks.c (lhd_post_options): Set + flag_excess_precision_cmdline. + * opts.c (common_handle_option): Handle -fexcess-precision=. + * toplev.c (flag_excess_precision_cmdline, flag_excess_precision, + init_excess_precision): New. + (lang_dependent_init_target): Call init_excess_precision. + * tree.c (excess_precision_type): New. + * tree.h (excess_precision_type): Declare. + +2009-03-30 Joseph Myers + + PR c/35235 + * c-typeck.c (build_component_ref): Do not copy qualifiers from + non-lvalue to component. + +2009-03-29 Joseph Myers + + PR preprocessor/34695 + * Makefile.in (c-opts.o): Depend on c-tree.h. + * c-common.c: Move down include of diagnostic.h. + (done_lexing, c_cpp_error): New. + * c-common.h (done_lexing): Declare. + * c-decl.c (c_write_global_declarations): Don't check cpp_errors + (parse_in). + * c-opts.c: Include c-tree.h. + (c_common_init_options): Set preprocessor error callback. + (c_common_handle_option): Do not set preprocessor + inhibit_warnings, warnings_are_errors, warn_system_headers, + pedantic_errors or inhibit_warnings flags. + (c_common_post_options): Do not check cpp_errors (parse_in). + (c_common_finish): Do not output dependencies if there were + errors. Do not check return value of cpp_finish. + * c-ppoutput.c (pp_file_change): Set input_location. + * c-tree.h (c_cpp_error): Declare. + * diagnostic.c (diagnostic_set_info_translated): Also initialize + override_column. + (diagnostic_build_prefix): Check override_column. + * diagnostic.h (diagnostic_info): Add override_column field. + (diagnostic_override_column): Define. + +2009-03-28 Paolo Bonzini + + * c-common.c (c_expand_expr, c_staticp): Remove. + * c-common.def (COMPOUND_LITERAL_EXPR): Delete. + * c-common.h (emit_local_var, c_staticp, COMPOUND_LITERAL_EXPR_DECL, + COMPOUND_LITERAL_EXPR_DECL_EXPR): Remove. + * c-gimplify.c (gimplify_compound_literal_expr, + optimize_compound_literals_in_ctor): Remove. + (c_gimplify_expr): Remove COMPOUND_LITERAL_EXPR handling. + * c-objc-common.h (LANG_HOOKS_STATICP): Remove. + * c-semantics.c (emit_local_var): Remove. + + * langhooks-def.h (lhd_expand_expr): Remove. + * langhooks.c (lhd_expand_expr): Remove. + * langhooks.h (LANG_HOOKS_DEF): Remove LANG_HOOKS_EXPAND_EXPR. + + * expr.c (expand_expr_real_1): Move COMPOUND_LITERAL_EXPR + handling from c-semantics.c; don't call into langhook. + (expand_expr_addr_expr_1): Check that we don't get non-GENERIC trees. + * gimplify.c (gimplify_compound_literal_expr, + optimize_compound_literals_in_ctor): Move from c-gimplify.c. + (gimplify_init_constructor): Call optimize_compound_literals_in_ctor. + (gimplify_modify_expr_rhs, gimplify_expr): Handle COMPOUND_LITERAL_EXPR + as was done in c-gimplify.c. + * tree.c (staticp): Move COMPOUND_LITERAL_EXPR handling from c_staticp. + * tree.h (COMPOUND_LITERAL_EXPR_DECL, COMPOUND_LITERAL_EXPR_DECL_EXPR): + Move from c-common.h. + * tree.def (COMPOUND_LITERAL_EXPR): Move from c-common.def. + + * tree.c (staticp): Do not call langhook. + * langhooks.c (lhd_staticp): Delete. + * langhooks-def.h (lhd_staticp): Delete prototype. + (LANG_HOOKS_STATICP): Delete. + (LANG_HOOKS_INITIALIZER): Delete LANG_HOOKS_STATICP. + + * doc/c-tree.texi (Expression nodes): Refer to DECL_EXPRs + instead of DECL_STMTs. + +2009-03-29 Joseph Myers + + PR c/456 + PR c/5675 + PR c/19976 + PR c/29116 + PR c/31871 + PR c/35198 + * builtins.c (fold_builtin_sincos): Build COMPOUND_EXPR in + void_type_node. + (fold_call_expr): Return a NOP_EXPR from folding rather than the + contained expression. + * c-common.c (c_fully_fold, c_fully_fold_internal, c_save_expr): New. + (c_common_truthvalue_conversion): Use c_save_expr. Do not fold + conditional expressions for C. + (decl_constant_value_for_optimization): Move from + decl_constant_value_for_broken_optimization in c-typeck.c. Check + whether optimizing and that the expression is a VAR_DECL not of + array type instead of doing such checks in the caller. Do not + check pedantic. Call gcc_unreachable for C++. + * c-common.def (C_MAYBE_CONST_EXPR): New. + * c-common.h (c_fully_fold, c_save_expr, + decl_constant_value_for_optimization): New prototypes. + (C_MAYBE_CONST_EXPR_PRE, C_MAYBE_CONST_EXPR_EXPR, + C_MAYBE_CONST_EXPR_INT_OPERANDS, C_MAYBE_CONST_EXPR_NON_CONST, + EXPR_INT_CONST_OPERANDS): Define. + * c-convert.c (convert): Strip nops from expression. + * c-decl.c (groktypename): Take extra parameters expr and + expr_const_operands. Update call to grokdeclarator. + (start_decl): Update call to grokdeclarator. Add statement for + expressions used in type of decl. + (grokparm): Update call to grokdeclarator. + (push_parm_decl): Update call to grokdeclarator. + (build_compound_literal): Add parameter non_const and build a + C_MAYBE_COSNT_EXPR if applicable. + (grokdeclarator): Take extra parameters expr and + expr_const_operands. Track expressions used in declaration + specifiers and declarators. Fold array sizes and track whether + they are constant expressions and whether they are integer + constant expressions. + (parser_xref_tag): Set expr and expr_const_operands fields in + return value. + (grokfield): Update call to grokdeclarator. + (start_function): Update call to grokdeclarator. + (build_null_declspecs): Set expr and expr_const_operands fields in + return value. + (declspecs_add_type): Handle expressions in typeof specifiers. + * c-parser.c (c_parser_declspecs): Set expr and + expr_const_operands fields for declaration specifiers. + (c_parser_enum_specifier): Likewise. + (c_parser_struct_or_union_specifier): Likewise. + (c_parser_typeof_specifier): Likewise. Update call to + groktypename. Fold expression as needed. Return expressions with + type instead of adding statements. + (c_parser_attributes): Update calls to c_parser_expr_list. + (c_parser_statement_after_labels): Fold expression before passing + to objc_build_throw_stmt. + (c_parser_condition): Fold expression. + (c_parser_asm_operands): Fold expression. + (c_parser_conditional_expression): Use c_save_expr. Update call + to build_conditional_expr. + (c_parser_alignof_expression): Update call to groktypename. + (c_parser_postfix_expression): Preserve C_MAYBE_CONST_EXPR as + original_code. Fold expression argument of va_arg. Create + C_MAYBE_CONST_EXPR to preserve side effects of expressions in type + argument to va_arg. Update calls to groktypename. Fold array + index for offsetof. Verify that first argument to + __builtin_choose_expr has integer type. + (c_parser_postfix_expression_after_paren_type): Update calls to + groktypename and build_compound_literal. Handle expressions with + side effects in type name. + (c_parser_postfix_expression_after_primary): Update call to + c_parser_expr_list. Set original_code for calls to + __builtin_constant_p. + (c_parser_expr_list): Take extra parameter fold_p. Fold + expressions if requested. + (c_parser_objc_type_name): Update call to groktypename. + (c_parser_objc_synchronized_statement): Fold expression. + (c_parser_objc_receiver): Fold expression. + (c_parser_objc_keywordexpr): Update call to c_parser_expr_list. + (c_parser_omp_clause_num_threads, c_parser_omp_clause_schedule, + c_parser_omp_atomic, c_parser_omp_for_loop): Fold expressions. + * c-tree.h (CONSTRUCTOR_NON_CONST): Define. + (struct c_typespec): Add elements expr and expr_const_operands. + (struct c_declspecs): Add elements expr and expr_const_operands. + (groktypename, build_conditional_expr, build_compound_literal): + Update prototypes. + (in_late_binary_op): Declare. + * c-typeck.c (note_integer_operands): New function. + (in_late_binary_op): New variable. + (decl_constant_value_for_broken_optimization): Move to c-common.c + and rename to decl_constant_value_for_optimization. + (default_function_array_conversion): Do not strip nops. + (default_conversion): Do not call + decl_constant_value_for_broken_optimization. + (build_array_ref): Do not fold result. + (c_expr_sizeof_expr): Fold operand. Use C_MAYBE_CONST_EXPR for + result when operand is a VLA. + (c_expr_sizeof_type): Update call to groktypename. Handle + expressions included in type name. Use C_MAYBE_CONST_EXPR for + result when operand names a VLA type. + (build_function_call): Update call to build_compound_literal. + Only fold result for calls to __builtin_* functions. Strip + NOP_EXPR from INTEGER_CST returned from such functions. Fold + the function designator. + (convert_arguments): Fold arguments. Update call to + convert_for_assignment. + (build_unary_op): Handle increment and decrement of + C_MAYBE_CONST_EXPR. Move lvalue checks for increment and + decrement earlier. Fold operand of increment and decrement. + Handle address of C_MAYBE_CONST_EXPR. Only fold expression being + built for integer operand. Wrap returns that are INTEGER_CSTs + without being integer constant expressions or that have integer + constant operands without being INTEGER_CSTs. + (lvalue_p): Handle C_MAYBE_CONST_EXPR. + (build_conditional_expr): Add operand ifexp_bcp. Track whether + result is an integer constant expression or can be used in + unevaluated parts of one and avoid folding and wrap as + appropriate. Fold operands before possibly doing -Wsign-compare + warnings. + (build_compound_expr): Wrap result for C99 if operands can be used + in integer constant expressions. + (build_c_cast): Update call to digest_init. Do not ignore + overflow from casting floating-point constants to integers. Wrap + results that could be confused with integer constant expressions, + null pointer constants or floating-point constants. + (c_cast_expr): Update call to groktypename. Handle expressions + included in type name. + (build_modify_expr): Handle modifying a C_MAYBE_CONST_EXPR. Fold + lhs inside possible SAVE_EXPR. Fold RHS before assignment. + Update calls to convert_for_assignment. + (convert_for_assignment): Take new parameter + null_pointer_constant. Do not strip nops or call + decl_constant_value_for_broken_optimization. Set + in_late_binary_op for conversions to boolean. + (store_init_value): Update call to digest_init. + (digest_init): Take new parameter null_pointer_constant. Do not + call decl_constant_value_for_broken_optimization. pedwarn for + initializers not constant expressions. Update calls to + convert_for_assignment. + (constructor_nonconst): New. + (struct constructor_stack): Add nonconst element. + (really_start_incremental_init, push_init_level, pop_init_level): + Handle constructor_nonconst and nonconst element. + (set_init_index): Call constant_expression_warning for array + designators. + (output_init_element): Fold value. Set constructor_nonconst as + applicable. pedwarn for initializers not constant expressions. + Update call to digest_init. Call constant_expression_warning + where constant initializers are required. + (process_init_element): Use c_save_expr. + (c_finish_goto_ptr): Fold expression. + (c_finish_return): Fold return value. Update call to + convert_for_assignment. + (c_start_case): Fold switch expression. + (c_process_expr_stmt): Fold expression. + (c_finish_stmt_expr): Create C_MAYBE_CONST_EXPR as needed to + ensure statement expression is not evaluated in constant expression. + (build_binary_op): Track whether results are integer constant + expressions or may occur in such, disable folding and wrap results + as applicable. Fold operands for -Wsign-compare warnings unless + in_late_binary_op. + (c_objc_common_truthvalue_conversion): Handle results folded to + integer constants that are not integer constant expressions. + * doc/extend.texi: Document when typeof operands are evaluated, + that condition of __builtin_choose_expr is an integer constant + expression, and more about use of __builtin_constant_p in + initializers. + +2009-03-29 Richard Guenther + + * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Properly + propagate addresses of array references. + +2009-03-29 Steven Bosscher + + * regmove.c (perhaps_ends_bb_p): Remove. + (optimize_reg_copy_1): Don't call perhaps_ends_bb_p. Get basic block + from INSN and check that the main loop stays within that basic block. + (optimize_reg_copy_1, optimize_reg_copy_3, fixup_match_2): Likewise. + (regmove_forward_pass): Split out from regmove_optimize. Use + FOR_EACH_BB and FOR_BB_INSNS instead of traversing the insns stream. + (regmove_backward_pass): Split out from regmove_optimize. Use + FOR_EACH_BB_REVERSE and FOR_BB_INSNS_REVERS_SAFE. + (regmove_optimize): Simplify. + +2009-03-29 H.J. Lu + + PR target/39545 + * config/i386/i386.c (classify_argument): Ignore flexible array + member in struct and warn ABI change. + +2009-03-29 H.J. Lu + + * config/i386/i386-protos.h (ix86_agi_dependent): New. + + * config/i386/i386.c (ix86_agi_dependent): Rewrite. + (ix86_adjust_cost): Updated. + +2009-03-29 Jan Hubicka + + PR middle-end/28850 + * tree-pass.h (pass_cleanup_eh): New function. + (remove_unreachable_regions): Break code handling RTL + to rtl_remove_unreachable_regions; remove ERT_MUST_NOT_THROW + that can not be reached by runtime. + (can_be_reached_by_runtime): New function. + (label_to_region_map): New function. + (num_eh_regions): New function. + (rtl_remove_unreachable_regions): New function. + (convert_from_eh_region_ranges): Call rtl_remove_unreachable_regions. + (remove_eh_region): New function. + * except.h: Include sbitmap and vecprim. + (remove_eh_region, remove_unreachable_regions, label_to_region_map, + num_eh_regions): Declare. + * passes.c (init_optimization_passes): Schedule cleanup_eh. + * Makefile.in (EXCEPT_H): New; replace all uses of except.h by it. + * tree-eh.c (tree_remove_unreachable_handlers): New function. + (tree_empty_eh_handler_p): New function. + (cleanup_empty_eh): New function. + (cleanup_eh): New function. + (pass_cleanup_eh): New function. + +2009-03-29 Jan Hubicka + + * except.c (verify_eh_tree): Fix handling of fun!=cfun; be ready + for removed regions. + +2009-03-29 Jan Hubicka + + * except.c (dump_eh_tree): Dump all datastructures. + +2009-03-29 Jan Hubicka + + * except.c (duplicate_eh_regions_0): Handle AKA bitmap. + (duplicate_eh_regions_1): Likewise. + (duplicate_eh_regions): Likewise; cleanup code gorwing the region + vector; call EH verification. + (foreach_reachable_handler, can_throw_internal_1, can_throw_external_1): + Be ready for region being removed. + +2009-03-29 Jan Hubicka + + * bitmap.c (bitmap_last_set_bit): New function. + * bitmap.h (bitmap_last_set_bit): Declare. + +2009-03-29 David Ayers + + PR objc/27377 + * c-typeck.c (build_conditional_expr): Emit ObjC warnings + by calling objc_compare_types and surpress warnings about + incompatible C pointers that are compatible ObjC pointers. + +2009-03-29 Adam Nemet + + * cgraphbuild.c (build_cgraph_edges, rebuild_cgraph_edges): Don't + call initialize_inline_failed. + (initialize_inline_failed): Move it from here ... + * cgraph.c (initialize_inline_failed): ... to here. + (cgraph_create_edge): Call initialize_inline_failed rather than + setting inline_failed directly. + +2009-03-29 Ben Elliston + + PR target/32542 + * sysv4.opt (msdata): Improve comment. + * linux64.h (ASM_SPEC32): Do not pass -memb when -msdata is given. + * sysv4.h (SVR4_ASM_SPEC): Likewise. + +2009-03-29 Ben Elliston + + PR target/30451 + * config/rs6000/rs6000.md (*movti_ppc64): Correct the order of + load and store attributes. + +2009-03-29 Ben Elliston + + * config/i386/i386.c (enum ix86_builtins): Add IX86_BUILTIN_HUGE_VALQ. + (ix86_init_builtins): Add built-in function __builtin_huge_valq. + (ix86_expand_builtin): Handle IX86_BUILTIN_HUGE_VALQ. + * doc/extend.texi (X86 Built-in Functions): Add index entries for + __builtin_infq and __builtin_huge_valq. + +2009-03-28 Anatoly Sokolov + + * config/avr/avr.c (avr_mcu_t): Add atmega8c1, atmega16c1 and + atmega8m1 devices. + * config/avr/avr.h (LINK_SPEC, CRT_BINUTILS_SPECS): (Ditto.). + * config/avr/t-avr (MULTILIB_MATCHES): (Ditto.) + +2009-03-28 Xinliang David Li + + * tree-ssa-ccp.c (ccp_finalize): Add dbg_count support. + (do_dbg_cnt): New function. + +2009-03-28 Jan Hubicka + + Merge from pretty-ipa: + + 2009-03-27 Jan Hubicka + + * cgraph.c (dump_cgraph_node): Add replace output flag by process. + * tree-pass.h (function_called_by_processed_nodes_p): Declare. + * passes.c (function_called_by_processed_nodes_p): New. + * ipa-pure-const.c (check_call): Fix handling of operands. + (analyze_function): Dump debug output for skipped bodies. + (local_pure_const): Use function_called_by_processed_nodes_p. + * dwarf2out.c (reference_to_unused): Use output. + * passes.c (do_per_function_toporder): Likewise. + + 2008-11-12 Jan Hubicka + + * tree-pass.h (pass_fixup_cfg, pass_local_pure_const): Declare. + * ipa-pure-const.c (funct_state_d): Add can throw field; make + state_set_in_source enum + (check_decl): Ignore memory tags; do not set fake looping flags; + dump diagnostics. + (check_operand, check_tree, check_rhs_var, check_lhs_var, + get_asm_expr_operands, scan_function_op, scan_function_stmt): Remove. + (check_call, analyze_function): Rewrite. + (check_stmt): New. + (add_new_function): Update call of analyze_function. + (generate_summary): Add call of analyze_function. + (propagate): Propagate can_throw; handle state_set_in_source correctly. + (local_pure_const): New function. + (pass_local_pure_const): New pass. + * ipa-inline.c (inline_transform): Set after_inlining. + * tree-eh.c (stmt_can_throw_external): New. + * tree-optimize.c (execute_fixup_cfg): Do not set after_inlining; + work with aliasing built. + * tree-flow.h (stmt_can_throw_external): New. + * passes.c (init_optimization_passes): Schedule fixup_cfg pass early; + and local pure/const pass in early and late optimization queue. + +2009-03-28 Martin Jambor + + * fold-const.c (get_pointer_modulus_and_residue): New parameter + allow_func_align. + (fold_binary): Allow function decl aligment consideration is the + second argument is integer constant one. + * tree-ssa-forwprop.c (simplify_bitwise_and): New function. + (tree_ssa_forward_propagate_single_use_vars): Handle assing statements + with BIT_AND_EXPR on the RHS by calling simplify_bitwise_and. + +2009-03-28 Jan Hubicka + + * dwarf2out.c (dwarf2out_begin_prologue): Use crtl->nothrow + * tree-eh.c (stmt_could_throw_p): Remove check for WEAK decls. + * function.h (rtl_data): Add nothrow flag. + * except.c (set_nothrow_function_flags): Use crtl->nothrow; + set DECL_NOTHROW for AVAILABLE functions. + +2009-03-28 Jakub Jelinek + + * config/rs6000/rs6000-c.c (rs6000_macro_to_expand): If macro + following vector keyword has expansion starting with pixel or bool + keyword, expand vector to __vector and pixel or bool to __pixel or + __bool. + + PR c++/39554 + * opts.c (warning_disallowed_functions, warn_disallowed_functions, + warn_if_disallowed_function_p): Removed. + (common_handle_option): Don't handle OPT_Wdisallowed_function_list_. + * c-parser.c (c_parser_postfix_expression_after_primary): Don't call + warning_if_disallowed_function_p. + * flags.h (warn_if_disallowed_function_p, + warn_disallowed_functions): Removed. + * common.opt (Wdisallowed-function-list=): Removed. + * doc/invoke.texi (-Wdisallowed-function-list=): Removed. + +2009-03-28 Richard Guenther + + PR tree-optimization/38723 + * tree-ssa-pre.c (compute_avail): Add all default definitions to + the entry block. + +2009-03-28 Jan Hubicka + + * tree-ssa-structalias.c (ipa_pta_execute): Fix bogus node->analyzed + test introduced by my previous patch. + +2009-03-28 Richard Guenther + + * tree-ssa-copy.c (copy_prop_visit_phi_node): Do not leave + the PHIs value undefined. + +2009-03-28 Jan Hubicka + + * tree-pass.h (pass_fixup_cfg): New pass. + * ipa-inline.c (inline_transform): Set + always_inline_functions_inlined/after_inlining. + * tree-optimize.c (execute_fixup_cfg): Do not set them here. + (pass_fixup_cfg): New pass. + * passes.c (init_optimization_passes): Add fixup_cfg. + +2009-03-28 Richard Guenther + + PR tree-optimization/38458 + * tree-ssa-copy.c (copy_prop_visit_phi_node): For the first + argument use the arguments copy-of value. + +2009-03-28 Richard Guenther + + PR tree-optimization/38180 + * tree-ssa-ccp.c (get_default_value): Simplify. + (likely_value): Likewise. + (surely_varying_stmt_p): Properly handle VOP case. + (ccp_initialize): Likewise. + (ccp_fold): Handle propagating through *&. + (fold_const_aggregate_ref): Also handle decls. + +2009-03-28 Jan Hubicka + + * cgraph.c (dump_cgraph_node): Add replace output flag by process. + * cgraph.h (cgraph_node): Likewise. + * cgraphunit.c (cgraph_process_new_functions): Set process flag. + (cgraph_reset_node): Use process flag. + (cgraph_mark_functions_to_output): Likewise. + (cgraph_expand_function): Likewise. + (cgraph_expand_all_functions): Likewise. + (cgraph_output_in_order): Likewise. + * dwarf2out.c (reference_to_unused): Likewise. + * passes.c do_per_function_toporder): Likewise. + +2009-03-28 Jan Hubicka + + Bring from lto-branch: + + 2008-09-03 Doug Kwan + + * cgraphbuild.c (initialize_inline_failed): Use cgraph_inline_failed_t + enums instead of reason strings. + * cgraph.c (cgraph_create_edge): Same. + (cgraph_inline_failed_string): New function. + * cgraph.h (cgraph_inline_failed_t): New enum type. + (cgraph_inline_failed_string): New prototype. + (struct cgraph_edge): Change type of INLINED_FAILED from constant + char pointer to cgraph_inline_failed_t. + (cgraph_inline_p): Adjust prototype to use cgraph_inline_failed_t. + (cgraph_default_inline_p): Ditto. + * gcc/cgraphunit.c (cgraph_inline_p): Change type of parameter REASON + to cgraph_inline_failed_t pointer. + * cif-code.def: New file. + * ipa-inline.c (cgraph_mark_inline_edge): Use an enum instead of a + reason string. + (cgraph_check_inline_limits): Change type of REASON to pointer to + cgraph_inline_failed_t. Replace reason strings with enums. + (cgraph_default_inline_p): Ditto. + (cgraph_recursive_inlining_p): Ditto. + (update_caller_keys): Change type of FAILED_REASON to + cgraph_inline_failed_t. + (cgraph_set_inline_failed): Change type of REASON to pointer to + cgraph_inline_failed_t. Call cgraph_inline_failed_string to + convert enums to strings for text output. + (cgraph_decide_inlining_of_small_function): Change FAILED_REASON + to be of type cgraph_inline_failed_t. Replace reason strings with + enums. Call cgraph_inline_failed_string to covert enums + to strings for text output. + (cgraph_decide_inlining): Replace reason strings with enums. + (cgraph_decide_inlining_incrementally): Change type of FAILED_REASON + to cgraph_inline_failed_t type. Call cgraph_inline_failed_string + for text output. + * tree-inline.c (expand_call_inline): Change type of REASON + to cgraph_inline_failed_t. Replace reason strings with enums. + Call cgraph_inline_failed_string for text output. + * Makefile.in (CGRAPH_H): Add cif-code.def to dependencies. + (cgraph.o): Ditto. + +2009-03-28 Jan Hubicka + + * cgraph.c (cgraph_node, cgraph_remove_node, dump_cgraph_node, + cgraph_clone_node): Remove master clone handling. + (cgraph_is_master_clone, cgraph_master_clone): Remove. + * cgraph.h (master_clone): Remove. + (cgraph_is_master_clone, cgraph_master_clone): Remove. + * ipa-type-escape.c (type_escape_execute): Remove use of master clone. + (tree-ssa-structalias.c (ipa_pta_execute): Likewise. + 2009-03-28 Jan Hubicka * cgraph.c (cgraph_function_body_availability): Functions declared @@ -182,8 +998,7 @@ * c-common.c (handle_aligned_attribute): Properly check alignment overflow. Use (1U << i) instead of (1 << i). - * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for - align. + * emit-rtl.c (get_mem_align_offset): Use "unsigned int" for align. * expr.h (get_mem_align_offset): Updated. @@ -215,8 +1030,7 @@ PR target/39472 * config/i386/i386.c (ix86_abi): New. (override_options): Handle -mabi=. - (ix86_function_arg_regno_p): Replace DEFAULT_ABI with - ix86_abi. + (ix86_function_arg_regno_p): Replace DEFAULT_ABI with ix86_abi. (ix86_call_abi_override): Likewise. (init_cumulative_args): Likewise. (function_arg_advance): Likewise. @@ -228,12 +1042,10 @@ (setup_incoming_varargs_64): Likewise. (is_va_list_char_pointer): Likewise. (ix86_init_machine_status): Likewise. - (ix86_reg_parm_stack_space): Use enum calling_abi on - call_abi. + (ix86_reg_parm_stack_space): Use enum calling_abi on call_abi. (ix86_function_type_abi): Return enum calling_abi. Rewrite for 64bit. Replace DEFAULT_ABI with ix86_abi. - (ix86_function_abi): Make it static and return enum - calling_abi. + (ix86_function_abi): Make it static and return enum calling_abi. (ix86_cfun_abi): Return enum calling_abi. Replace DEFAULT_ABI with ix86_abi. (ix86_fn_abi_va_list): Updated. @@ -315,7 +1127,8 @@ 2009-03-27 Andrew Pinski PR c++/36799 - * ginclude/stdarg.h (va_copy): Define also for __GXX_EXPERIMENTAL_CXX0X__. + * ginclude/stdarg.h (va_copy): Define also for + __GXX_EXPERIMENTAL_CXX0X__. 2009-03-27 Manuel Lopez-Ibanez @@ -401,8 +1214,7 @@ * configure.ac : Add pattern crisv32-*-* for "nop". - : Add item for CRIS and - CRIS v32. + : Add item for CRIS and CRIS v32. * configure: Regenerate. 2009-03-24 Ira Rosen @@ -414,8 +1226,7 @@ 2009-03-24 Arthur Loiret - * config.host (alpha*-*-linux*): Use driver-alpha.o and - alpha/x-alpha. + * config.host (alpha*-*-linux*): Use driver-alpha.o and alpha/x-alpha. * config/alpha/linux.h (host_detect_local_cpu): Declare, add to EXTRA_SPEC_FUNCTIONS. (MCPU_MTUNE_NATIVE_SPECS, DRIVER_SELF_SPECS): New macros. @@ -868,7 +1679,7 @@ 2009-03-06 Jan-Benedict Glaw - * genpreds.c: (needs_variable): Fix parentheses at variable name + * genpreds.c (needs_variable): Fix parentheses at variable name detection. (write_tm_constrs_h): Indent generated code. @@ -1187,7 +1998,7 @@ 2009-02-27 Andreas Krebbel - * gcc/config/s390/s390.c: (s390_swap_cmp): Look for conditional + * gcc/config/s390/s390.c (s390_swap_cmp): Look for conditional jumps if COND is NULL. (find_cond_jump): New function. (s390_z10_optimize_cmp): Handling for reg-reg compares added. @@ -2234,7 +3045,7 @@ * global.c: Remove the file. - * opts.c: (decode_options): Remove flag_ira. + * opts.c (decode_options): Remove flag_ira. * hard-reg-set.h (losing_caller_save_reg_set): Remove. @@ -2614,7 +3425,7 @@ 2009-01-22 Dodji Seketeli PR c++/38930 - * c-decl.c: (clone_underlying_type): Revert PR c++/26693 changes. + * c-decl.c (clone_underlying_type): Revert PR c++/26693 changes. * c-common.c (set_underlying_type): Likewise. (is_typedef_decl ): Likewise * tree.h: Likewise @@ -2644,7 +3455,7 @@ 2009-01-21 Dodji Seketeli PR c++/26693 - * c-decl.c: (clone_underlying_type): Move this ... + * c-decl.c (clone_underlying_type): Move this ... * c-common.c (set_underlying_type): ... here. Also, make sure the function properly sets TYPE_STUB_DECL() on the newly created typedef variant type. @@ -3007,7 +3818,7 @@ * config/avr/t-avr (LIB1ASMFUNCS): Add _tablejump_elpm. * config/avr/libgcc.S (__do_global_ctors, __do_global_dtors): Add variant for devices with 3-byte PC. - (__tablejump_elpm__) : New. + (__tablejump_elpm__): New. 2009-01-12 Jakub Jelinek