match.pd (max:c @0 (plus@2 @0 INTEGER_CST@1)): New Pattern.
authorNaveen H.S <naveenh@gcc.gnu.org>
Wed, 21 Dec 2016 08:37:47 +0000 (08:37 +0000)
committerNaveen H.S <naveenh@gcc.gnu.org>
Wed, 21 Dec 2016 08:37:47 +0000 (08:37 +0000)
2016-12-22  Andrew Pinski  <apinski@cavium.com>
    Naveen H.S <Naveen.Hurugalawadi@cavium.com>

gcc
        * match.pd (max:c @0 (plus@2 @0 INTEGER_CST@1)): New Pattern.
(min:c @0 (plus@2 @0 INTEGER_CST@1)) : New Pattern.
gcc/testsuite
* gcc.dg/max.c: New Testcase.
* gcc.dg/min.c: New Testcase.

From-SVN: r243838

gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/max.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/min.c [new file with mode: 0644]

index 156408f2f10f29628802cce00357b0bada6fc4b1..bd41f389d227ebaead379a867a8c1e0cd883d556 100644 (file)
@@ -1,3 +1,8 @@
+2016-12-22  Andrew Pinski  <apinski@cavium.com>
+
+        * match.pd (max:c @0 (plus@2 @0 INTEGER_CST@1)): New Pattern.
+       (min:c @0 (plus@2 @0 INTEGER_CST@1)) : New Pattern.
+
 2016-12-20  James Greenhalgh  <james.greenhalghj@arm.com>
 
        * common.opt (excess_precision): Tag as SetByCombined.
index f4cc2d810c3717f897f90069a24a61e158a29295..1570ac827846150d71f4a9ecb5f6dc795b28eaaf 100644 (file)
@@ -1373,6 +1373,24 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
        && operand_equal_p (@1, TYPE_MIN_VALUE (type), OEP_ONLY_CONST))
    @0)))
 
+/* max (a, a + CST) -> a + CST where CST is positive.  */
+/* max (a, a + CST) -> a where CST is negative.  */
+(simplify
+ (max:c @0 (plus@2 @0 INTEGER_CST@1))
+  (if (TYPE_OVERFLOW_UNDEFINED (TREE_TYPE (@0)))
+   (if (tree_int_cst_sgn (@1) > 0)
+    @2
+    @0)))
+
+/* min (a, a + CST) -> a where CST is positive.  */
+/* min (a, a + CST) -> a + CST where CST is negative. */
+(simplify
+ (min:c @0 (plus@2 @0 INTEGER_CST@1))
+  (if (TYPE_OVERFLOW_UNDEFINED (TREE_TYPE (@0)))
+   (if (tree_int_cst_sgn (@1) > 0)
+    @0
+    @2)))
+
 /* (convert (minmax ((convert (x) c)))) -> minmax (x c) if x is promoted
    and the outer convert demotes the expression back to x's type.  */
 (for minmax (min max)
index f06c53c9430ca72801e36c16a1c03fe8c2aa6ca4..be5673d69ea4b233e79ab4317999b9658b933f7d 100644 (file)
@@ -1,3 +1,8 @@
+2016-12-22  Naveen H.S  <Naveen.Hurugalawadi@cavium.com>
+
+       * gcc.dg/max.c: New Testcase.
+       * gcc.dg/min.c: New Testcase.
+
 2016-12-21  Jakub Jelinek  <jakub@redhat.com>
 
        PR c/77767
diff --git a/gcc/testsuite/gcc.dg/max.c b/gcc/testsuite/gcc.dg/max.c
new file mode 100644 (file)
index 0000000..e979810
--- /dev/null
@@ -0,0 +1,22 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+static inline int
+max (int a, int b)
+{
+  return a < b ? b : a;
+}
+
+int
+test_00 (int a)
+{
+  return max (a, a + 8);
+}
+
+int
+test_01 (int a)
+{
+  return max (a, a - 8);
+}
+
+/* { dg-final { scan-tree-dump-not "MAX_EXPR" "optimized" } } */
diff --git a/gcc/testsuite/gcc.dg/min.c b/gcc/testsuite/gcc.dg/min.c
new file mode 100644 (file)
index 0000000..d847270
--- /dev/null
@@ -0,0 +1,22 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+static inline int
+min (int a, int b)
+{
+  return a < b ? a : b;
+}
+
+int
+test_00 (int a)
+{
+  return min (a, a + 8);
+}
+
+int
+test_01 (int a)
+{
+  return min (a, a - 8);
+}
+
+/* { dg-final { scan-tree-dump-not "MIN_EXPR" "optimized" } } */