+2006-01-10 Hans-Peter Nilsson <hp@axis.com>
+
+ PR target/25718
+ * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
+ for a negative bound.
+
+2006-01-10 Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa-structalias.c (get_constraint_for_component_ref):
+ Never override with anything constraint.
+
+2006-01-10 Jan Beulich <jbeulich@novell.com>
+
+ * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
+ 256 bits when optimize_size.
+
+2006-01-10 Jan Beulich <jbeulich@novell.com>
+
+ * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
+ MASK_ALIGN_DOUBLE.
+ * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
+ * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
+ arguments.
+
+2006-01-10 Ben Elliston <bje@au.ibm.com>
+
+ * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
+ float modes.
+ * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
+ (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
+ (USE_FP_FOR_ARG): Reject decimal float modes.
+ (function_arg_advance): Likewise.
+ (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
+ (rs6000_handle_altivec_attribute): Do not permit decimal floating
+ point types in AltiVec vectors.
+ (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
+ (rs6000_libcall_value): Likewise.
+
+2006-01-09 Bob Wilson <bob.wilson@acm.org>
+
+ * config/xtensa/ieee754-df.S: New file.
+ * config/xtensa/ieee754-sf.S: New file.
+ * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
+ (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
+ * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
+
+2006-01-09 Kazu Hirata <kazu@codesourcery.com>
+
+ * config/sh/predicates.md (binary_float_operator,
+ binary_logical_operator, commutative_float_operator,
+ equality_comparison_operator, greater_comparison_operator,
+ less_comparison_operator, logical_operator,
+ noncommutative_float_operator, shift_operator,
+ symbol_ref_operand, unary_float_operator): Remove redundant
+ conditionals.
+
+2006-01-09 Jeff Law <law@redhat.com>
+
+ * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
+ code to propagate the RHS of a cast into COND_EXPR_COND. Remove
+ now unused arguments. Callers updated.
+ (eliminate_redundant_computations): Remove now unused arguments,
+ callers updated.
+ (local_fold): Remove, no longer used.
+ (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
+ and moved to...
+ * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
+ (simplify_cond): New function.
+ (forward_propagate_into_cond): Call simplify_cond.
+
+2006-01-09 Alexandre Oliva <aoliva@redhat.com>
+
+ * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
+ (*vec_extractv2di_1_sse): New.
+
+2006-01-09 Ben Elliston <bje@au.ibm.com>
+
+ * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
+
+2006-01-08 Richard Guenther <rguenther@suse.de>
+
+ * tree-ssa-structalias.c (get_constraint_for): Remove
+ anyoffset argument.
+ (get_constraint_for_component_ref): Likewise.
+ (do_deref): Likewise.
+ (get_constraint_for): Likewise.
+ (do_structure_copy): Likewise.
+ (handle_ptr_arith): Likewise.
+ (find_func_aliases): Likewise. Remove unused need_anyoffset
+ variable.
+
+2006-01-08 J"orn Rennecke <joern.rennecke@st.com>
+ Kaz Kojima <kkojima@gcc.gnu.org>
+
+ * config/sh/sh.h (CONST_OK_FOR_K16): Define.
+ (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
+ (EXTRA_CONSTRAINT_C16): Remove.
+ (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
+ (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
+ EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
+ * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
+ constants of SHmedia. Handle nested constant expressions of
+ SHmedia correctly.
+ (andcosts): Fix the costs for SHmedia constants.
+ (sh_rtx_costs): Take account of outer_code for SHmedia constants.
+ * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
+ (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
+ (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
+ (movv4hi_i, movv2si_i): Likewise.
+ (movsi_const): Adjust the second operand of ior so to match with
+ the Csu constraint.
+ (movdi_const, movdi_const_32bit): Likewise.
+ (movdi_const_16bit+1): Don't sign-extend LOW.
+ (movdi_const_16bit+2): Likewise. Remove the zero_extend and truncate
+ step.
+ (*double_shori): Fix the split condition. Use GEN_INT instead
+ of get_int_mode calls. Mask lower 16-bit of the argument of
+ the last GEN_INT.
+ (sym2GOTPLT): Remove.
+ (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
+ gen_rtx_UNSPEC.
+ * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
+ instead of EXTRA_CONSTRAINT_C16.
+
+2006-01-07 Ian Lance Taylor <ian@airs.com>
+ David Edelsohn <edelsohn@gnu.org>
+
+ PR rtl-optimization/25662
+ * optabs.c (simplify_expand_binop): Use simplify_binary_operation
+ for constant operands instead of simplify_gen_binary.
+ * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
+ after trying simplify_binary_operation
+
+2006-01-06 Daniel Berlin <dberlin@dberlin.org>
+
+ * tree.c (iterative_hash_expr): Hash decls based on UID.
+
+2006-01-06 Eric Christopher <echristo@apple.com>
+
+ * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
+ (TARGET_UNWIND_EMIT): Fix spelling.
+ * target.h (gcc_target): Add except_table_label.
+ * except.c (output_function_exception_table): Use.
+ * varasm.c (default_emit_except_table_label): New.
+ * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
+ define.
+ (asm_out): Add here.
+ * output.h (default_emit_except_table_label): Prototype.
+ * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
+ * config/darwin.c (darwin_emit_except_table_label): Define.
+ * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
+
+2006-01-06 Zdenek Dvorak <dvorakz@suse.cz>
+
+ PR tree-optimization/18527
+ * tree-ssa-loop-niter.c (number_of_iterations_cond,
+ number_of_iterations_special, number_of_iterations_exit):
+ Move base and step of an iv to a single structure. Add
+ no_overflow flag, and use it in # of iterations analysis.
+ * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
+ folded_casts argument.
+ (simple_iv): Pass base and step in a structure. Set no_overflow
+ flag.
+ (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
+ Evaluate expensiveness of computing # of iterations instead of
+ the final expression.
+ * tree-scalar-evolution.h (affine_iv): New structure.
+ (simple_iv): Declaration changed.
+ * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
+ * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
+ find_givs_in_stmt): Changed due to simple_iv change.
+
+2006-01-06 Jeff Law <law@redhat.com>
+
+ PR ada/24994
+ * tree-cfg.c (bsi_replace): Rename final argument from
+ PRESERVE_EH_INFO to UPDATE_EH_INFO. Fix typo in last
+ change (stmt -> orig_stmt).
+ * tree-eh.c (verify_eh_throw_stmt_node): New function.
+ (bsi_remove): Add new argument. Remove EH information
+ if requested.
+ (verify_eh_throw_table_statements): New function.
+ (bsi_remove): Add new argument REMOVE_EH_INFO. All callers
+ updated.
+ * tree-optimize.c (execute_free_cfg_annotations): Verify
+ the EH throw statement table after removing annotations.
+ * except.h (verify_eh_throw_table_statements): Prototype.
+ * tree-flow.h (bsi_remove): Update prototype.
+ * tree-vrp.c (remove_range_assertions): Add new argument to
+ bsi_remove call.
+ * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
+ * tree-complex.c (expand_complex_div_wide): Likewise.
+ * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
+ * tree-tailcall.c (eliminate_tailcall): Likewise.
+ * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
+ * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
+ * tree-nrv.c (tree_nrv): Likewise.
+ * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
+ * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
+ (combine_blocks): Likewise.
+ * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
+ * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
+ (cleanup_control_flow): Likewise.
+ (remove_forwarder_block): Likewise.
+ * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
+ * tree-sra.c (sra_replace): Likewise.
+ * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
+ (forward_propagate_single_use_vars): Likewise.
+ * tree-ssa-dce.c (remove_dead_stmt): Likewise.
+ * tree-inline.c (expand_call_inline): Likewise.
+ * tree-vect-transform.c (vect_transform_loop): Likewise.
+ * tree-outof-ssa.c (rewrite_trees): Likewise.
+ * tree-cfg.c (make_goto_expr_edges): Likewise.
+ (cleanup_dead_labels): Likewise.
+ (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
+ (bsi_move_before, bsi_move_after): Likewise.
+ (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
+ (tree_redirect_edge_and_branch, tree_split_block): Likewise.
+
+2006-01-06 Andrew Pinski <pinskia@physics.uc.edu>
+
+ PR tree-opt/25528
+ * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
+ and IMAGPART_EXPR.
+ * tree-flow-inline.h (var_can_have_subvars): Handle complex types
+ on non gimple variables. Also add checks at the top for decls and
+ mtags.
+ * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
+ complex types.
+ * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
+ and IMAGPART_EXPR for creating MUST_DEFs.
+ (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
+ and NAME_MEMORY_TAG separately from the DECLs.
+
+2006-01-06 Richard Guenther <rguenther@suse.de>
+
+ * tree-dfa.c (mark_new_vars_to_rename): Create stmt
+ annotation, if necessary.
+ * tree-ssa-pre.c (create_expression_by_pieces): Remove
+ redundant calls to update_stmt.
+ * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
+ Likewise.
+
+2006-01-05 Richard Henderson <rth@redhat.com>
+
+ * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
+
+2006-01-05 Carlos O'Donell <carlos@codesourcery.com>
+
+ * c-typeck.c: Update copyright date.
+
+2006-01-05 Carlos O'Donell <carlos@codesourcery.com>
+
+ * c-typeck.c (build_c_cast): Always warn when casting
+ from a pointer to an integer of different size, even if
+ the node was constant.
+
+2006-01-05 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/22555
+ * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
+ if one structure field is an array.
+ * tree-ssa-operands.c (get_expr_operands): Continue scanning
+ operands even if we found a subvar, but ignore VOPs in this
+ case.
+ * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
+ for renaming.
+ * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
+
+2006-01-05 Richard Earnshaw <rearnsha@arm.com>
+
+ PR middle-end/24998
+ * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
+
+2006-01-05 Richard Guenther <rguenther@suse.de>
+ Diego Novillo <dnovillo@redhat.com>
+
+ * tree-pass.h (TODO_remove_unused_locals): Define.
+ * gimple-low.c (expand_var_p, remove_useless_vars,
+ pass_remove_useless_vars): Remove. Update all users.
+ * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
+ (remove_unused_locals): New function.
+ * tree-flow.h (remove_unused_locals): Declare.
+ * passes.c (execute_todo): Call remove_unused_locals if
+ TODO_remove_unused_locals is set.
+ * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
+ * tree-ssa-dce.c (pass_dce): Likewise.
+ * tree-outof-ssa.c (pass_del_ssa): Likewise.
+
+2006-01-05 Richard Guenther <rguenther@suse.de>
+
+ * tree-flow.h (struct fieldoff): Decompose field to
+ type, size and decl.
+ * tree-ssa-alias.c (create_sft): Take type as parameter.
+ (create_overlap_variables_for): Store type, size and decl
+ in the fieldoff structure.
+ * tree-ssa-structalias.c (fieldoff_compare): Adjust users
+ of struct fieldoff.
+ (push_fields_onto_fieldstack): Likewise.
+ (create_variable_info_for): Likewise. Use offset for the
+ SFT name if the decl is not available.
+
+2006-01-04 Paul Brook <paul@codesourcery.com>
+
+ * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
+
+2006-01-04 Daniel Berlin <dberlin@dberlin.org>
+
+ * lambda-code.c (can_put_in_inner_loop): Relax
+ restrictions.
+ (can_put_after_inner_loop): New function.
+ (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
+ (perfect_nestify): Change to make copies and modify uses.
+
+2006-01-04 Richard Henderson <rth@redhat.com>
+
+ Merge from gomp branch:
+ * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
+ via integer constant.
+ (pragma_lex): Remove.
+ * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
+ rather than parsing it.
+ * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
+ handle_pragma_extern_prefix): Add %< %> quotes.
+ (registered_pragmas): New.
+ (c_register_pragma_1): New.
+ (c_register_pragma): Use it.
+ (c_register_pragma_with_expansion): Likewise.
+ (c_invoke_pragma_handler): New.
+ (init_pragma): Use cpp_register_deferred_pragma directly for
+ pch_preprocess.
+ * c-pragma.h (enum pragma_kind): New.
+ (pragma_handler): New.
+ (c_invoke_pragma_handler): Declare.
+ * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
+ CPP_PRAGMA_EOL.
+ * c-common.h (c_common_pch_pragma): Update decl.
+ * Makefile.in (c-parser.o): Update dependencies.
+ (GTFILES): Add c-pragma.h.
+ * c-parser.c (struct c_token): Add pragma_kind.
+ (struct c_parser): Add in_pragma.
+ (c_lex_one_token): Always initialize keyword and pragma_kind.
+ Extract data for CPP_PRAGMA.
+ (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
+ (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
+ Don't allow CPP_PRAGMA_EOL if in_pragma.
+ (c_parser_consume_pragma): New.
+ (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
+ (c_parser_skip_to_end_of_parameter): Likewise.
+ (c_parser_skip_to_end_of_block_or_statement): Likewise.
+ (c_parser_skip_to_pragma_eol): New.
+ (c_parser_external_declaration): Handle CPP_PRAGMA.
+ (c_parser_compound_statement_nostart): Likewise.
+ (c_parser_statement_after_labels): Likewise.
+ (c_parser_pragma): New.
+ (pragma_lex): Likewise.
+ (c_parser_pragma_pch_preprocess): New.
+ (c_parser_new): Merge into ...
+ (c_parse_file): ... here. Call c_parser_pragma_pch_preprocess.
+
+2006-01-04 Jeff Law <law@redhat.com>
+
+ PR ada/24994
+ * tree-cfg.c (bsi_replace): Remove the original statement
+ from the EH throw statement table.
+
+2006-01-04 Jakub Jelinek <jakub@redhat.com>
+
+ * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
+ make the prototype extern "C" and add throw ().
+
+ PR target/25554
+ * config/i386/i386.md (testqi_ext_3): Ensure len is positive
+ and pos non-negative and pos + len <= 32.
+ (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
+ drop pos + len < HOST_BITS_PER_WIDE_INT test.
+ (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
+
+ PR c/25559
+ * c-common.c (handle_vector_size_attribute): Reject zero vector size
+ as well as sizes not multiple of component size.
+
+ PR debug/25562
+ * function.c (instantiate_expr): New function.
+ (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
+ walk its DECL_VALUE_EXPR with instantiate_expr.
+
+ * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
+ DW_OP_deref{,_size} if address isn't going to be added.
+
+2006-01-04 Ben Elliston <bje@au.ibm.com>
+
+ * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
+ * config/fp-bit.c: Likewise.
+
+2006-01-03 Daniel Berlin <dberlin@dberlin.org>
+
+ * dominance.c: Add comment about why we use DFS numbering
+ of dominance tree.
+
+2006-01-03 Jakub Jelinek <jakub@redhat.com>
+ Richard Henderson <rth@redhat.com>
+
+ Merge from gomp-branch:
+ * varasm.c (assemble_variable): Handle thread-local COMMON data.
+ * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
+
+2006-01-03 Paolo Bonzini <bonzini@gnu.org>
+
+ PR rtl-optimization/25578
+ * combine.c (combine_simplify_rtx, force_to_mode): Don't
+ pass a parameter to simplify_shift_const if changing ASHIFTRT
+ to LSHIFTRT.
+
+2006-01-03 Adrian Straetling <straetling@de.ibm.com>
+
+ * gcc/builtins.c (get_builtin_sync_mem): New function.
+ (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
+ expand_builtin_lock_test_and_set, expand_builtin_lock_release):
+ Call get_builtin_sync_mem to generate mem rtx.
+
+2006-01-03 Richard Guenther <rguenther@suse.de>
+
+ PR c/25183
+ * stmt.c (add_case_node): Make sure to clear overflow flags
+ from ranges.
+
+2006-01-03 Jakub Jelinek <jakub@redhat.com>
+
+ Merge from gomp-branch.
+ * config/sparc/sync.md: New file.
+ * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
+ UNSPECV_LDSTUB): New constants.
+ * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
+ * config/sparc/predicates.md (memory_reg_operand): New predicate.
+ * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
+ prototype.
+
+2006-01-03 Roger Sayle <roger@eyesopen.com>
+
+ * combine.c (reg_subword_p): New predicate to test whether the
+ destination of a set refers to a subword/piece of a register.
+ (try_combine): Generalize the code to merge the setting of a
+ pseudo to a constant followed by a set of a subword of that
+ register to a constant.
+
+2006-01-03 Kazu Hirata <kazu@codesourcery.com>
+
+ * basic-block.h (control_flow_graph): Change the type of
+ x_label_to_block_map to VEC(basic_block,gc) *.
+ * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
+ set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
+
+ * tree-ssa-propagate.c (cfg_blocks): Change the type to
+ VEC(basic_block,heap) *.
+ (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
+ ssa_prop_fini): Adjust the uses of cfg_blocks.
+
+2006-01-03 Steven Bosscher <stevenb.gcc@gmail.com>
+
+ * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
+ COMPONENT_REFs.
+ * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
+ hashing trees instead of a pointer hash.
+ (mem_attrs_htab_eq): Do a deep compare instead of a pointer
+ compare for MEM_EXPR.
+
+ PR rtl-optimization/25130
+ * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
+ when comparing MEMs for GCSE
+
+2006-01-03 Ben Elliston <bje@au.ibm.com>
+
+ * targhooks.h (default_decimal_float_supported_p): Declare.
+ * targhooks.c (default_decimal_float_supported_p): Define.
+ * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
+ `default_decimal_float_supported_p'.
+ * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
+
+2006-01-02 Adam Nemet <anemet@caviumnetworks.com>
+
+ * combine.c (apply_distributive_law <SUBREG>): Check
+ TRULY_NOOP_TRUNCATION.
+
2006-01-02 Geoffrey Keating <geoffk@apple.com>
* dwarf2out.c (have_switched_text_section): Delete.
* config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
(sync_compare_and_swapqhi_internal): New.
* config/rs6000/rs6000-protos.h: Declare.
-