aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSegher Boessenkool <segher@kernel.crashing.org>2016-10-12 17:37:20 +0200
committerSegher Boessenkool <segher@gcc.gnu.org>2016-10-12 17:37:20 +0200
commit859e95abb84b67a2cb42d6e6013c16160d9c802d (patch)
tree7a7081ba8283b28f8c32c81ed01a36e069699009
parent61f41369f1e1c6d8b83d4b644c24aebcc90f522f (diff)
downloadgcc-859e95abb84b67a2cb42d6e6013c16160d9c802d.zip
gcc-859e95abb84b67a2cb42d6e6013c16160d9c802d.tar.gz
gcc-859e95abb84b67a2cb42d6e6013c16160d9c802d.tar.bz2
shrink-wrap: Testcases for separate shrink-wrapping
A few testcases for separate shrink-wrapping: test whether it works in a trivial case; whether it creates more than one prologue where that is useful; whether it puts prologues inside a loop if that is cheaper. gcc/testsuite/ * gcc.target/powerpc/shrink-wrap-separate-0.c: New testcase. * gcc.target/powerpc/shrink-wrap-separate-1.c: New testcase. * gcc.target/powerpc/shrink-wrap-separate-2.c: New testcase. From-SVN: r241066
-rw-r--r--gcc/testsuite/ChangeLog6
-rw-r--r--gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-0.c22
-rw-r--r--gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-1.c18
-rw-r--r--gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-2.c26
4 files changed, 72 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4aed4b8..5eb693a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,11 @@
2016-10-12 Segher Boessenkool <segher@kernel.crashing.org>
+ * gcc.target/powerpc/shrink-wrap-separate-0.c: New testcase.
+ * gcc.target/powerpc/shrink-wrap-separate-1.c: New testcase.
+ * gcc.target/powerpc/shrink-wrap-separate-2.c: New testcase.
+
+2016-10-12 Segher Boessenkool <segher@kernel.crashing.org>
+
* gcc.target/powerpc/warn-1.c: Change line number in dg-warning.
* gcc.target/powerpc/warn-2.c: Ditto.
diff --git a/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-0.c b/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-0.c
new file mode 100644
index 0000000..dea0611e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-0.c
@@ -0,0 +1,22 @@
+/* { dg-do compile { target powerpc*-*-* } } */
+/* { dg-options "-O2" } */
+/* { dg-final { scan-assembler {#before\M.*\mmflr\M} } } */
+
+/* This tests if shrink-wrapping for separate components works.
+
+ r20 (a callee-saved register) is forced live at the start, so that we
+ get it saved in a prologue at the start of the function.
+ The link register only needs to be saved if x is non-zero; without
+ separate shrink-wrapping it would however be saved in the one prologue.
+ The test tests if the mflr insn ends up behind the prologue. */
+
+void g(void);
+
+void f(int x)
+{
+ register int r20 asm("20") = x;
+ asm("#before" : : "r"(r20));
+ if (x)
+ g();
+ asm(""); // no tailcall of g
+}
diff --git a/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-1.c b/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-1.c
new file mode 100644
index 0000000..735b606
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-1.c
@@ -0,0 +1,18 @@
+/* { dg-do compile { target powerpc*-*-* } } */
+/* { dg-options "-O2" } */
+/* { dg-final { scan-assembler {\mmflr\M.*\mbl\M.*\mmflr\M.*\mbl\M} } } */
+
+/* This tests if shrink-wrapping for separate components creates more
+ than one prologue when that is useful. In this case, it saves the
+ link register before both the call to g and the call to h. */
+
+void g(void) __attribute__((noreturn));
+void h(void) __attribute__((noreturn));
+
+void f(int x)
+{
+ if (x == 42)
+ g();
+ if (x == 31)
+ h();
+}
diff --git a/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-2.c b/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-2.c
new file mode 100644
index 0000000..b22564a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/shrink-wrap-separate-2.c
@@ -0,0 +1,26 @@
+/* { dg-do compile { target powerpc*-*-* } } */
+/* { dg-options "-O2" } */
+/* { dg-final { scan-assembler {\mmflr\M.*\mbl\M.*\mmflr\M.*\mbl\M} } } */
+
+/* This tests if shrink-wrapping for separate components puts a prologue
+ inside a loop when that is useful. In this case, it saves the link
+ register before each call: both calls happen with probability .10,
+ so saving the link register happens with .80 per execution of f on
+ average, which is smaller than 1 which you would get if you saved
+ it outside the loop. */
+
+int *a;
+void g(void);
+
+void f(int x)
+{
+ int j;
+ for (j = 0; j < 4; j++) {
+ if (__builtin_expect(a[j], 0))
+ g();
+ asm("#" : : : "memory");
+ if (__builtin_expect(a[j], 0))
+ g();
+ a[j]++;
+ }
+}