ipa-cp.c (print_all_lattices): Skip cp clones.

	* ipa-cp.c (print_all_lattices): Skip cp clones.

	* gcc.dg/lto/pr88297_0.c: New test.
	* gcc.dg/lto/pr88297_1.c: New test.

From-SVN: r267118

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5816ebb39957466f19a2106384f6c36eb7730fc8..e3baaa6026b48c98cd1341b7c6e23998db5a23dc 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,7 @@
 2018-12-13  Michael Ploujnikov  <michael.ploujnikov@oracle.com>
 
+       * ipa-cp.c (print_all_lattices): Skip cp clones.
+
        * ipa-cp.c: Fix various comment typos.
 
 2018-12-13  Jakub Jelinek  <jakub@redhat.com>

diff --git a/gcc/ipa-cp.c b/gcc/ipa-cp.c
index 8c183110b10ea278279b073b762be3f5a0c6c9dd..5758915361487049ba10f1a54b66da9bf8aa9fb8 100644 (file)
--- a/gcc/ipa-cp.c
+++ b/gcc/ipa-cp.c
@@ -542,6 +542,9 @@ print_all_lattices (FILE * f, bool dump_sources, bool dump_benefits)
       struct ipa_node_params *info;
 
       info = IPA_NODE_REF (node);
+      /* Skip constprop clones since we don't make lattices for them.  */
+      if (info->ipcp_orig_node)
+       continue;
       fprintf (f, "  Node: %s:\n", node->dump_name ());
       count = ipa_get_param_count (info);
       for (i = 0; i < count; i++)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3ce50c8a05cd98eb7367bd0c924fb9b97f5a6720..8128ea99969adbf6399a63ab933d9c95468957ab 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-12-13  Michael Ploujnikov  <michael.ploujnikov@oracle.com>
+
+       * gcc.dg/lto/pr88297_0.c: New test.
+       * gcc.dg/lto/pr88297_1.c: New test.
+
 2018-12-13  Jakub Jelinek  <jakub@redhat.com>
 
        PR tree-optimization/88444

diff --git a/gcc/testsuite/gcc.dg/lto/pr88297_0.c b/gcc/testsuite/gcc.dg/lto/pr88297_0.c
new file mode 100644 (file)
index 0000000..1a14449
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/lto/pr88297_0.c
@@ -0,0 +1,57 @@
+/* { dg-require-effective-target lto } */
+/* { dg-lto-options { { -flto -O3 -fipa-cp -fipa-cp-clone } } } */
+/* { dg-lto-do run } */
+
+/* In order to trigger IPA-CP cloning we have to:
+
+  1. Put the calls in main into a loop; otherwise everything is
+  cold and we would not clone.
+
+  2. Make different foos and bars actually semantically different;
+  otherwise IPA-ICF unified them (as it should).
+
+*/
+
+volatile int g;
+
+void __attribute__ ((noipa))
+use (int v)
+{
+  g = v;
+}
+
+static int __attribute__ ((noinline))
+foo (int arg)
+{
+  return 7 * arg;
+}
+
+static int __attribute__ ((noinline))
+bar (int arg)
+{
+  return arg * arg;
+}
+
+extern int __attribute__ ((noinline))
+entry2 (void);
+
+int  __attribute__ ((noipa))
+get_opaque_number (void)
+{
+  return 1;
+}
+
+int main (void)
+{
+  int i;
+  for (i = 0; i < get_opaque_number (); i++)
+    {
+      use (bar (3));
+      use (bar (4));
+      use (foo (5));
+      use (foo (6));
+
+      entry2 ();
+    }
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/lto/pr88297_1.c b/gcc/testsuite/gcc.dg/lto/pr88297_1.c
new file mode 100644 (file)
index 0000000..65c5321
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/lto/pr88297_1.c
@@ -0,0 +1,25 @@
+extern void __attribute__ ((noipa))
+use (int v);
+
+
+static int __attribute__ ((noinline))
+foo (int arg)
+{
+  return 8 * arg;
+}
+
+static int __attribute__ ((noinline))
+bar (int arg)
+{
+  return arg * arg + 3;
+}
+
+int __attribute__ ((noinline))
+entry2 (void)
+{
+  use (bar (3));
+  use (bar (4));
+  use (foo (5));
+  use (foo (6));
+  return 0;
+}