1 files changed, 35 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/ipa/ipa-3.c b/gcc/testsuite/gcc.dg/ipa/ipa-3.c
new file mode 100644
index 000000000..a3334c345
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/ipa/ipa-3.c
@@ -0,0 +1,35 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -fipa-cp -fipa-cp-clone -fdump-ipa-cp -fno-early-inlining"  } */
+/* { dg-add-options bind_pic_locally } */
+
+
+/* Double constants.  */
+
+#include <stdio.h>
+void t(void);
+int g (double b, double c)
+{
+  t();
+  return (int)(b+c);
+}
+int f (double a)
+{
+  if (a > 0)
+    g (a, 3.1);
+  else
+    g (a, 3.1);
+}
+int main ()
+{
+  int i;
+  for (i = 0; i < 100; i++)
+    f (7.44);
+  return 0;
+}
+
+
+/* { dg-final { scan-ipa-dump-times "versioned function" 2 "cp"  } } */
+/* { dg-final { scan-ipa-dump "replacing param a with const 7" "cp"  } } */
+/* { dg-final { scan-ipa-dump "replacing param b with const 7" "cp"  } } */
+/* { dg-final { scan-ipa-dump "replacing param c with const 3" "cp"  } } */
+/* { dg-final { cleanup-ipa-dump "cp" } } */