* ifcvt.c (dead_or_predicable): Use df_simulate_find_defs and

	df_simulate_find_noclobber_defs as appropriate.  Keep track of an
	extra set merge_set_noclobber, and use it to relax the final test
	slightly.
	* df.h (df_simulate_find_noclobber_defs): Declare.
	* df-problems.c (df_simulate_find_defs): Don't ignore partial or
	conditional defs.
	(df_simulate_find_noclobber_defs): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158639 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2684bec..bf74e84 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,14 @@
+2010-04-22  Bernd Schmidt  <bernds@codesourcery.com>
+
+       * ifcvt.c (dead_or_predicable): Use df_simulate_find_defs and
+       df_simulate_find_noclobber_defs as appropriate.  Keep track of an
+       extra set merge_set_noclobber, and use it to relax the final test
+       slightly.
+       * df.h (df_simulate_find_noclobber_defs): Declare.
+       * df-problems.c (df_simulate_find_defs): Don't ignore partial or
+       conditional defs.
+       (df_simulate_find_noclobber_defs): New function.
+
 2010-04-22  Uros Bizjak  <ubizjak@gmail.com>
 
        * config/i386/i386.md: Use {} around multi-line preparation statements.

diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c
index 8d6b885..4f84c67 100644 (file)
--- a/gcc/ifcvt.c
+++ b/gcc/ifcvt.c
@@ -4084,7 +4084,7 @@ dead_or_predicable (basic_block test_bb, basic_block merge_bb,
        {
          if (INSN_P (insn))
            {
-             df_simulate_find_defs (insn, test_set);
+             df_simulate_find_noclobber_defs (insn, test_set);
              df_simulate_one_insn_backwards (test_bb, insn, test_live);
            }
          prev = PREV_INSN (insn);