From: Martin Liska <mliska@suse.cz>
Date: Fri, 7 Nov 2014 12:35:43 +0000 (+0100)
Subject: re PR tree-optimization/63747 (icf mis-compares switch gimple)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fdaaeea1b61b60c0b76a657d7557a34c3e7b5186;p=gcc.git

re PR tree-optimization/63747 (icf mis-compares switch gimple)

	PR ipa/63747
	* gcc.dg/ipa/pr63747.c: New test.
	* ipa-icf-gimple.c (func_checker::compare_gimple_switch):
	Missing checking for CASE_LOW and CASE_HIGH added.

From-SVN: r217219
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6fc91b5d66d..6e721a68b20 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2014-11-07  Martin Liska  <mliska@suse.cz>
+
+	PR ipa/63747
+	* ipa-icf-gimple.c (func_checker::compare_gimple_switch):
+	Missing checking for CASE_LOW and CASE_HIGH added.
+
 2014-11-07  Martin Liska  <mliska@suse.cz>
 
 	PR ipa/63595
diff --git a/gcc/ipa-icf-gimple.c b/gcc/ipa-icf-gimple.c
index ecb96671fb7..75b5cfbc202 100644
--- a/gcc/ipa-icf-gimple.c
+++ b/gcc/ipa-icf-gimple.c
@@ -798,6 +798,19 @@ func_checker::compare_gimple_switch (gimple g1, gimple g2)
       tree label1 = gimple_switch_label (g1, i);
       tree label2 = gimple_switch_label (g2, i);
 
+      /* Label LOW and HIGH comparison.  */
+      tree low1 = CASE_LOW (label1);
+      tree low2 = CASE_LOW (label2);
+
+      if (!tree_int_cst_equal (low1, low2))
+	return return_false_with_msg ("case low values are different");
+
+      tree high1 = CASE_HIGH (label1);
+      tree high2 = CASE_HIGH (label2);
+
+      if (!tree_int_cst_equal (high1, high2))
+	return return_false_with_msg ("case high values are different");
+
       if (TREE_CODE (label1) == CASE_LABEL_EXPR
 	  && TREE_CODE (label2) == CASE_LABEL_EXPR)
 	{
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8575ba3e180..036d59d3013 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2014-11-07  Martin Liska  <mliska@suse.cz>
+
+	PR ipa/63747
+	* gcc.dg/ipa/pr63747.c: New test.
+
 2014-11-07  Martin Liska  <mliska@suse.cz>
 
 	PR ipa/63595
diff --git a/gcc/testsuite/gcc.dg/ipa/pr63747.c b/gcc/testsuite/gcc.dg/ipa/pr63747.c
new file mode 100644
index 00000000000..7b5df4baaf4
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/ipa/pr63747.c
@@ -0,0 +1,40 @@
+/* { dg-options "-O2 -fdump-ipa-icf" } */
+/* { dg-do run } */
+
+static int __attribute__((noinline))
+foo(int i)
+{
+  switch (i)
+  {
+    case 0:
+    case 1:
+    case 2:
+    case 3:
+      return 0;
+    default:
+      return 1;
+  }
+}
+
+static int __attribute__((noinline))
+bar(int i)
+{
+  switch (i)
+  {
+    case 4:
+    case 5:
+    case 6:
+    case 7:
+      return 0;
+    default:
+      return 1;
+  }
+}
+
+int main()
+{
+  return foo(0) + bar(4);
+}
+
+/* { dg-final { scan-ipa-dump "Equal symbols: 0" "icf"  } } */
+/* { dg-final { cleanup-ipa-dump "icf" } } */