aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Guenther <rguenther@suse.de>2007-10-11 09:46:04 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2007-10-11 09:46:04 +0000
commit1ef40d6b95a5180ab9e812a1df23e792db0d67b1 (patch)
tree2e05f6dc3d8a48fa7924c3d42814a9434b9ed7b6
parentc343d5a73197df34694a7c6eaebc4ae28081d8bb (diff)
downloadgcc-1ef40d6b95a5180ab9e812a1df23e792db0d67b1.zip
gcc-1ef40d6b95a5180ab9e812a1df23e792db0d67b1.tar.gz
gcc-1ef40d6b95a5180ab9e812a1df23e792db0d67b1.tar.bz2
gcse.c (hash_scan_set): If the next nonnote insn is in a different basic block insert the set.
2007-10-11 Richard Guenther <rguenther@suse.de> * gcse.c (hash_scan_set): If the next nonnote insn is in a different basic block insert the set. From-SVN: r129230
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/gcse.c1
2 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e737cb7..730949b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
2007-10-11 Richard Guenther <rguenther@suse.de>
+ * gcse.c (hash_scan_set): If the next nonnote insn is in
+ a different basic block insert the set.
+
+2007-10-11 Richard Guenther <rguenther@suse.de>
+
PR middle-end/33724
* tree-cfg.c (one_pointer_to_useless_type_conversion_p): New function.
(verify_gimple_expr): Use it to verify pointer-to types for
diff --git a/gcc/gcse.c b/gcc/gcse.c
index 6f308c2..79aa8af 100644
--- a/gcc/gcse.c
+++ b/gcc/gcse.c
@@ -1761,6 +1761,7 @@ hash_scan_set (rtx pat, rtx insn, struct hash_table *table)
oprs_available_p searches from INSN on. */
&& (insn == BB_END (BLOCK_FOR_INSN (insn))
|| (tmp = next_nonnote_insn (insn)) == NULL_RTX
+ || BLOCK_FOR_INSN (tmp) != BLOCK_FOR_INSN (insn)
|| oprs_available_p (pat, tmp)))
insert_set_in_table (pat, insn, table);
}