Add file I forgot to add before.
authorSegher Boessenkool <segher@gcc.gnu.org>
Thu, 2 Oct 2014 13:40:53 +0000 (15:40 +0200)
committerSegher Boessenkool <segher@gcc.gnu.org>
Thu, 2 Oct 2014 13:40:53 +0000 (15:40 +0200)
From-SVN: r215802

gcc/testsuite/gcc.dg/combine-clobber.c [new file with mode: 0644]

diff --git a/gcc/testsuite/gcc.dg/combine-clobber.c b/gcc/testsuite/gcc.dg/combine-clobber.c
new file mode 100644 (file)
index 0000000..bf0d88c
--- /dev/null
@@ -0,0 +1,22 @@
+/* { dg-do compile { target i?86-*-* x86_64-*-* } } */
+/* { dg-options "-O2 -fdump-rtl-combine-all" } */
+
+/* This testcase checks if combine tries to combine sequences where the last
+   insn has a clobber of a reg, and a previous insn sets that reg.
+
+   In this case, we have three insns
+
+   (set flags (compare a b))
+   (set tmp (eq flags 0))
+   (parallel [(set dst (neg tmp))
+             (clobber flags)])
+
+   Previously, combine would not try the three-insn combination because of
+   the set and clobber of flags.  Now it does.  Test that.  */
+
+
+int f(int a, int b) { return -(a == b); }
+
+/* This regexp works for reg parameters as well as mem parameters.  */
+/* { dg-final { scan-rtl-dump {neg:SI[^:]*eq:SI[^:]*:SI} "combine" } } */
+/* { dg-final { cleanup-rtl-dump "combine" } } */