2008-03-24 Basile Starynkevitch <basile@starynkevitch.net>

	MELT branch merged with trunk r133512



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@133515 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 157 insertions, 9 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8f64a48311a..a1ab32856eb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,8 +1,162 @@
+2008-03-24  Richard Guenther  <rguenther@suse.de>
 
-2008-03-02  Basile Starynkevitch <basile@starynkevitch.net>
-	merged with trunk 132817
+	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  <manu@gcc.gnu.org>
+
+	* diagnostic.c (diagnostic_count_diagnostic): Delete.
+	(diagnostic_report_diagnostic): Update. Handle ICEs here.
+	
+2008-03-24  Nathan Sidwell  <nathan@codesourcery.com>
+
+	* gthr-vxworks.h (UNUSED): Define.
+
+2008-03-23  H.J. Lu  <hongjiu.lu@intel.com>
+
+	* config/i386/i386.h (STATIC_CHAIN_REGNUM): Use R10_REG and
+	CX_REG.
+
+2008-03-23  Zuxy Meng <zuxy.meng@gmail.com>
+
+	* doc/extend.texi (Function Attributes): Add missing comma in the
+	example of the "alloc_size" attribute.
+	
+2008-03-23  Uros Bizjak  <ubizjak@gmail.com>
+
+	Revert:
+	2008-03-05  H.J. Lu  <hongjiu.lu@intel.com>
+
+	* config/i386/i386-modes.def: Use 4 byte alignment on DI for
+	32bit host.
 
-2008-03-20	Kai Tietz  <kai.tietz@onevision.com>
+	2008-03-19  Uros Bizjak  <ubizjak@gmail.com>
+
+	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  <ubizjak@gmail.com>
+
+	* 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  <rguenther@suse.de>
+
+	* 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  <rsandifo@nildram.co.uk>
+
+	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  <ubizjak@gmail.com>
+
+	* 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  <andrew_pinski@playstation.sony.com>
+
+	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  <ubizjak@gmail.com>
+
+	PR target/13958
+	* config/i386/i386.md ("*floatunssi<mode2>_1"): New pattern with
+	corresponding post-reload splitters.
+	("floatunssi<mode>2"): 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  <mjambor@suse.cz>
+
+	* 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  <kkojima@gcc.gnu.org>
+
+	* 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  <rguenther@suse.de>
+
+	* 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  <kkojima@gcc.gnu.org>
+
+	* config/sh/sh.c (split_branches): Pass zero to	redirect_jump
+	as 'delete_unused' argument.
+
+2008-03-20  Richard Guenther  <rguenther@suse.de>
+
+	* 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  <paul@codesourcery.com>
+
+	* 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  <v.reichelt@netcologne.de>
+
+	* 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  <kai.tietz@onevision.com>
 
 	* c-format.c (replace_format_name_to_system_name): New.
 	(cmp_attribs): New.
@@ -187,7 +341,6 @@
 	(execute_early_warn_uninitialized): Compute post-dominators.
 	Initialize always_executed before processing each basic block.
 
->>>>>>> .r133365
 2008-03-18  Mikulas Patocka  <mikulas@artax.karlin.mff.cuni.cz>
 
 	PR target/35504
@@ -279,7 +432,6 @@
 	conversion to void pointer.
 	(get_maxval_strlen): Handle addresses of the form &(*p)[0].
 
->>>>>>> .r133327
 2008-03-16  James E. Wilson  <wilson@tuliptree.org>
 
 	PR debug/31510
@@ -478,7 +630,6 @@
 	pointer type to/from integral types that do not change the
 	precision to regular conversions.
 
->>>>>>> .r133288
 2008-03-13  Uros Bizjak  <ubizjak@gmail.com>
 
 	* doc/extend.texi (X86 Built-in Functions) [__builtin_ia32_psll?,
@@ -633,7 +784,6 @@
 	* ipa-reference.c (static_execute): Remove module_statics_const and
 	associated setting code.
 
->>>>>>> .r133208
 2008-03-11  Uros Bizjak  <ubizjak@gmail.com>
 
 	PR target/35540
@@ -1233,7 +1383,6 @@
 	* mips-tfile.c (main): Likewise.
 	* mips-tdump.c (main): Likewise.
 
->>>>>>> .r133107
 2008-03-02  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 
 	PR 24924
@@ -2579,7 +2728,6 @@
 2008-02-17  Uros Bizjak  <ubizjak@gmail.com>
 
 	Revert:
-
 	2008-02-15  Uros Bizjak  <ubizjak@gmail.com>	
 	* config/i386/sfp-machine.h (CMPtype): Define as typedef using
 	libgcc_cmp_return mode.