1 files changed, 59 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/fpomit-5.c b/gcc-4.9/gcc/testsuite/gcc.dg/fpomit-5.c
new file mode 100644
index 000000000..7eba71e21
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.dg/fpomit-5.c
@@ -0,0 +1,59 @@
+/* { dg-do compile { target i?86-*-* x86_64-*-* } } */
+/* { dg-options "-O2 -fno-omit-frame-pointer -fshrink-wrap-frame-pointer -fdump-rtl-ira-details-blocks" } */
+/* { dg-final { scan-assembler-times "lea\[^\n\r\]*bp" 1 } } */
+/* { dg-final { scan-rtl-dump "loop 1\[^\n\r\]*fp" "ira" } } */
+/* { dg-final { scan-rtl-dump-not "loop 2\[^\n\r\]*fp" "ira" } } */
+/* { dg-final { cleanup-rtl-dump "ira" } } */
+
+/* Check loop1 should set fp_is_free and loop2 should not.  */
+int a[1000], b[1000], cond1, cond2, x, y;
+unsigned M, N;
+extern void goo();
+int *p;
+
+void foo() {
+  int r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r13, r14, r15;
+  unsigned i, j;
+
+  for (i = 0; i < M; i++) {
+    r1 = a[1];
+    r2 = a[2];
+    r3 = a[3];
+    r4 = a[4];
+    r5 = a[5];
+    r6 = a[6];
+    r7 = a[7];
+    r8 = a[8];
+    r9 = a[9];
+    r10 = a[10];
+    r11 = a[11];
+    r12 = a[12];
+    r13 = a[13];
+    r14 = a[14];
+    r15 = a[15];
+    *p = 3;
+    b[1] = r1;
+    b[2] = r2;
+    b[3] = r3;
+    b[4] = r4;
+    b[5] = r5;
+    b[6] = r6;
+    b[7] = r7;
+    b[8] = r8;
+    b[9] = r9;
+    b[10] = r10;
+    b[11] = r11;
+    b[12] = r12;
+    b[13] = r13;
+    b[14] = r14;
+    b[15] = r15;
+
+    if (cond1) {
+      for (j = 0; j < N; j++) {
+        r2 = a[j];
+        goo();
+        b[j] = r2;
+      }
+    }
+  }
+}