+2006-03-30 Paolo Bonzini <bonzini@gnu.org>
+
+ PR tree-optimization/26830
+
+ * tree-ssa-copy.c (copy_prop_visit_assignment): Do not check loop depth.
+ (copy_prop_visit_stmt): Remove write-only variable ann.
+ (init_copy_prop): Check variable loop depth here. Do not simulate
+ memory-tag and virtual operand PHIs except for store copy prop.
+
+2006-03-30 Richard Guenther <rguenther@suse.de>
+
+ * config/i386/i386.c: Remove builtins for SSE2 ABI intrinsic
+ variants with double arguments.
+
+2006-03-29 David Edelsohn <edelsohn@gnu.org>
+
+ * genpreds.c (write_tm_constrs_h): Delete variable p.
+ * genconditions.c (write_header): Add tm-constrs.h to included
+ headers.
+ * genpeep.c (main): Add toplev.h to included headers.
+ * Makefile.in (build/gencondmd.o): Add tm-constrs.h dependency.
+ (build/genpeep.o): Add toplev.h dependency.
+ * config/rs6000/constraints.md: Add "W" constraint.
+
+2006-03-29 Roger Sayle <roger@eyesopen.com>
+
+ * stor-layout.c (mode_for_size_tree): Remove restiction on type
+ sizes by correctly testing whether the size fits a host integer.
+ (initialize_sizetypes): Use set_min_and_max_values_for_integral_type
+ to correctly set TYPE_MIN_VALUE and TYPE_MAX_VALUE to the full
+ SImode range for the default sizetype and bitsizetype.
+
+2006-03-29 Roger Sayle <roger@eyesopen.com>
+
+ * convert.c (convert_to_pointer): Preserve the TREE_OVERFLOW
+ and TREE_CONSTANT_OVERFLOW bits of the argument. Return
+ quickly if the argument is already of the correct type.
+ Call fold_build1 instead of build1. Tidy up blank lines.
+
+2006-03-29 David Edelsohn <edelsohn@gnu.org>
+
+ * genemit.c (main): Add tm-constrs.h to included headers.
+ * genoutput.c (output_prologue): Add tm-constrs.h to included headers.
+ * genpeep.c (main): Add tm-constrs.h to included headers.
+ * genpreds.c (write_satisfies_constraint_fns): Rename to ...
+ (write_tm_constrs_h): this and write complete file.
+ (write_tm_preds_h): Do not emit satisfies_constraint fns.
+ (write_insn_preds_c): Add tm-constrs.h to included headers.
+ (gen_constrs): New variable.
+ (parse_option): Parse "-c".
+ (main): Invoke write_tm_constrs_h.
+ * genrecog.c (write_header): Add tm-constrs.h to included headers.
+ * Makefile.in (STAGECOPYSTUFF): Add tm-constrs.h.
+ (object_out_file): Add tm-constrs.h dependency.
+ (insn-emit.o): Same.
+ (insn-output.o): Same.
+ (insn-peep.o): Same.
+ (insn-preds.o): Same.
+ (insn-recog.o): Same.
+ (tm-constsr.h): New target.
+ (s-constrs-h): New target.
+
+ * config/rs6000/constraints.md: New file.
+ * config/rs6000/rs6000.c: Include tm-constrs.h.
+ (num_insn_constant_wide): Convert to satisfies_constraint.
+ (rs6000_rtx_costs): Convert to satisfies_constraint.
+ * config/rs6000/rs6000.h (REG_CLASS_FROM_LETTER): Delete.
+ (CONST_OK_FOR_LETTER_P): Delete.
+ (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
+ (EXTRA_CONSTRAINT): Delete.
+ (EXTRA_MEMORY_CONSTRAINT): Delete.
+ (EXTRA_ADDRESS_CONSTRAINT): Delete.
+ * config/rs6000/predicates.md: Convert to satisfies_constraint.
+ * config/rs6000/rs6000.md: Include constraints.md. Convert to
+ satisfies_constraint.
+
+ * config/i386/i386.c: Include tm-constrs.h.
+
+2006-03-29 Sebastian Pop <pop@cri.ensmp.fr>
+
+ * tree-loop-linear.c (compute_data_dependences_for_loop): Adjust calls.
+ * tree-data-ref.c (find_data_references_in_loop,
+ compute_data_dependences_for_loop): Use pointers to VEC.
+ (analyze_all_data_dependences): Adjust calls.
+ * tree-data-ref.h (find_data_references_in_loop,
+ compute_data_dependences_for_loop): Adjust declarations.
+ * tree-vect-analyze.c (vect_analyze_data_refs): Adjust call to
+ compute_data_dependences_for_loop.
+
+2006-03-29 Paul Brook <paul@codesourcery.com>
+
+ * config/arm/vfp.md (movsf_vfp): Disparage w<->r alternatives.
+ (movdf_vfp): Ditto.
+
+2006-03-29 Sebastian Pop <pop@cri.ensmp.fr>
+
+ PR tree-optimization/26859
+ * tree-ssa-loop-niter.c (infer_loop_bounds_from_undefined): Avoid
+ division by zero.
+ (convert_step): Remove TREE_OVERFLOW and TREE_CONSTANT_OVERFLOW flags
+ for the step after fold_convert.
+
+2006-03-29 Paul Brook <paul@codesourcery.com>
+
+ * reload1.c (choose_reload_regs): Check for all RTX_AUTOINC operators.
+ (inc_for_reload): Handle PRE_MODIFY and POST_MODIFY addresses.
+
+2006-03-29 Paul Brook <paul@codesourcery.com>
+
+ PR middle-end/23623
+ * targhooks.c (default_narrow_bitfield): New fuction.
+ * targhooks.h (default_narrow_bitfield): add prototype.
+ * target.h (gcc_target): Add narrow_volatile_bitfield.
+ * target-def.h (TARGET_NARROW_VOLATILE_BITFIELD): Define.
+ * stor-layout.c (get_best_mode): Use targetm.narrow_volatile_bitfield.
+ * doc/tm.texi: Document TARGET_NARROW_VOLATILE_BITFIELDS.
+ * config/arm/arm.c (TARGET_NARROW_VOLATILE_BITFIELD): Define.
+
+2006-03-29 Andreas Krebbel <krebbel1@de.ibm.com>
+
+ * config.gcc (s390-*-linux-*, s390x-*-linux*): Add t-dfprules to
+ tmake_file.
+ * config/s390/s390.c (S390_scalar_mode_supported_p): New function.
+ (NR_C_MODES): Add TDmode, DDmode and SDmode.
+ (s390_output_pool_entry, ): Accept MODE_DECIMAL_FLOAT.
+ (s390_hard_regno_mode_ok): Disallow TDmode in integer regs.
+ (s390_function_arg_float): Allow SDmode and DDmode values to be
+ passed in floating point registers.
+ (s390_function_arg_integer, s390_function_value): Replace MODE_FLOAT
+ check with SCALAR_FLOAT_MODE_P.
+ (TARGET_SCALAR_MODE_SUPPORTED_P): Define target macro.
+
+2006-03-28 Zdenek Dvorak <dvorakz@suse.cz>
+
+ PR tree-optimization/25985
+ * tree-ssa-loop-niter.c (number_of_iterations_le,
+ number_of_iterations_ne): Make comments more precise.
+ (number_of_iterations_cond): Add only_exit argument. Use the
+ fact that signed variables do not overflow only when only_exit
+ is true.
+ (loop_only_exit_p): New.
+ (number_of_iterations_exit): Pass result of loop_only_exit_p to
+ number_of_iterations_cond.
+
+2006-03-28 Zdenek Dvorak <dvorakz@suse.cz>
+
+ PR tree-optimization/26643
+ * tree-ssa-loop-ivopts.c (find_interesting_uses_address): Do not handle
+ bit_field_refs.
+
+2006-03-28 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ * config/sh/sh.md (udivsi3_i4_int): Clobber MACH_REG and MACL_REG.
+ (divsi3_i4_int): Likewise.
+
+2006-03-28 Roger Sayle <roger@eyesopen.com>
+
+ * expr.c (emit_group_store): Only create a new pseudo reg if the
+ quantity it needs to hold isn't already a suitable pseudo.
+
+2006-03-28 Jeff Law <law@redhat.com>
+
+ * timevar.def (TV_TREE_PHI_CPROP): New timevar.
+ * tree-ssa-dom.c (pass_phi_only_cprop): Use it.
+
+2006-03-28 Roger Sayle <roger@eyesopen.com>
+
+ * fold-const.c (fold_binary) <BIT_XOR_EXPR>: Fold (X & Y) ^ Y as
+ the equivalent ~X & Y, and the symmetry related transformations.
+ (fold_binary) <BIT_AND_EXPR>: Similarly, fold (X ^ Y) & Y as
+ ~X & Y, and symmetry related transforms.
+
+2006-03-28 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
+
+ Revert my 2006-03-27 patches.
+
+2006-03-28 Roger Sayle <roger@eyesopen.com>
+
+ * fold-const.c (fold_unary) <NOP_EXPR>: Fold (T1)(~(T2)X) as
+ ~(T1)X, when T1 and T2 are integer types of the same precision
+ and (T2)X isn't an extension.
+
+2006-03-28 Jeff Law <law@redhat.com>
+
+ PR tree-optimization/26796
+ * tree-ssa-dom.c (propagate_rhs_into_lhs): Queue blocks which
+ need EH edge cleanups rather than purging them immediately.
+ (eliminate_degenerate_phis): Handle queued EH cleanups.
+
+2006-03-28 Daniel Berlin <dberlin@dberlin.org>
+
+ * tree-ssa-alias.c (create_sft): Initially inherit TREE_ADDRESSABLE
+ from parent_var.
+
+2006-03-27 Roger Sayle <roger@eyesopen.com>
+
+ PR middle-end/22524
+ * fold-const.c (fold_binary) <MINUS_EXPR>: Call fold_convert to
+ cast BIT_NOT_EXPR operand to the correct type.
+
+2006-03-27 Sebastian Pop <pop@cri.ensmp.fr>
+
+ * tree-loop-linear.c: Don't include varray.h.
+ (gather_interchange_stats, try_interchange_loops,
+ linear_transform_loops): Use VEC instead of VARRAY.
+ * lambda-mat.c: Don't include varray.h.
+ * tree-chrec.c: Same.
+ * lambda-trans.c: Same.
+ * tree-vectorizer.c (new_loop_vec_info, destroy_loop_vec_info): Use
+ VEC instead of VARRAY.
+ * tree-vectorizer.h: Idem.
+ * tree-data-ref.c (dump_data_references,
+ dump_data_dependence_relations, dump_dist_dir_vectors, dump_ddrs,
+ initialize_data_dependence_relation, finalize_ddr_dependent,
+ compute_all_dependences, find_data_references_in_loop,
+ compute_data_dependences_for_loop, analyze_all_data_dependences,
+ free_dependence_relation, free_dependence_relations,
+ free_data_refs): Idem.
+ * tree-data-ref.h (data_reference_p, subscript_p): New.
+ (data_dependence_relation, DDR_SUBSCRIPT, DDR_NUM_SUBSCRIPTS): Use
+ VEC instead of VARRAY.
+ (DDR_SUBSCRIPTS_VECTOR_INIT): Removed.
+ (find_data_references_in_loop, compute_data_dependences_for_loop,
+ dump_ddrs, dump_dist_dir_vectors, dump_data_references,
+ dump_data_dependence_relations, free_dependence_relations,
+ free_data_refs): Adjust declaration.
+ (lambda_transform_legal_p): Move declaration here...
+ * tree-vect-analyze.c (vect_analyze_data_ref_dependences,
+ vect_compute_data_refs_alignment, vect_verify_datarefs_alignment,
+ vect_enhance_data_refs_alignment, vect_analyze_data_ref_accesses,
+ vect_analyze_data_refs): Use VEC instead of VARRAY.
+ * lambda.h (lambda_transform_legal_p): ...from here.
+ * lambda-code.c (lambda_transform_legal_p): Use VEC instead of VARRAY.
+ * tree-vect-transform.c (vect_update_inits_of_drs): Idem.
+ * Makefile.in (tree-loop-linear.o, lambda-mat.o, lambda-trans.o,
+ tree-chrec.o): Don't depend on VARRAY_H.
+
+2006-03-27 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
+
+ * rtl.def (Copyright): Update date.
+ (DEPS_LIST): Change type of the second operand to 'int'.
+ * target.h (Copyright): Update date.
+ (struct gcc_target.speculate_insn): Change type of the second parameter
+ to 'int'.
+ * lists.c (Copyright): Update date.
+ (alloc_DEPS_LIST): Change signature. Update reference to the second
+ operand of the DEPS_LIST.
+ (copy_DEPS_LIST_list): Update reference to the second operand of the
+ DEPS_LIST.
+ * rtl.h (Copyright): Update date.
+ (alloc_DEPS_LIST): Update signature.
+ * sched-int.h (Copyright): Update date.
+ (ds_t): Change typedef to 'int'.
+ (DEP_STATUS, BITS_PER_DEP_STATUS): Update.
+
+2006-03-27 Maxim Kuvyrkov <mkuvyrkov@ispras.ru>
+
+ * haifa-sched.c (Copyright): Update date.
+ (try_ready): Change condition to restore non-speculative pattern
+ of the instruction.
+ (process_insn_depend_be_in_spec): Code to keep probability of the
+ speculative dependence non-decreasing.
+
+2006-03-27 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * regrename.c (replace_oldest_value_addr): Initialize a variable to
+ shut up the compiler.
+
+2006-03-27 J"orn Rennecke <joern.rennecke@st.com>
+
+ * config/sh/t-sh ($(T)libic_invalidate_array_4-100.a): Fix rule
+ to use lib prefix for target.
+ ($(T)libic_invalidate_array_4-200.a): Likewise.
+ ($(T)libic_invalidate_array_4a.a): Likewise.
+
2006-03-27 Andrew Stubbs <andrew.stubbs@st.com>
J"orn Rennecke <joern.rennecke@st.com>
(generic64_cost): Likewise.
(generic32_cost): Likewise.
+2006-03-24 Denis Chertykov <denisc@overta.ru>
+
+ * config/avr/avr-protos.h (extra_constraint): Delete.
+ (extra_constraint_Q): New declaration.
+ * config/avr/constraints.md: New file.
+ * config/avr/avr.md: Include it.
+ (REG_X, REG_Y, REG_Z, REG_W): New constants.
+ (TMP_REGNO, ZERO_REGNO): Likewise.
+ (UNSPEC_STRLEN, UNSPEC_INDEX_JMP): Likewise.
+ * config/avr/avr.c (avr_reg_class_from_letter): Delete.
+ (extra_constraint): Delete.
+ (extra_constraint_Q): Test for memory constraint 'Q'.
+ * config/avr/avr.h (REG_X,REG_Y,REG_Z,REG_W): Delete.
+ (REG_CLASS_FROM_LETTER): Delete.
+ (CONST_OK_FOR_LETTER_P): Delete.
+ (CONST_DOUBLE_OK_FOR_LETTER_P): Delete.
+ (EXTRA_CONSTRAINT): Delete.
+ (TMP_REGNO): Delete.
+ (ZERO_REGNO): Delete.
+
2006-03-24 Jeff Law <law@redhat.com>
* tree-ssa-dom.c (propagate_rhs_into_lhs): Don't call update_stmt