arm.md (*arm_smin_cmp): New pattern.

2015-08-01  Michael Collison  <michael.collison@linaro.org
	    Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>

	* gcc/config/arm/arm.md (*arm_smin_cmp): New pattern.
	(*arm_umin_cmp): Likewise.

	* gcc.target/arm/mincmp.c: New test.

From-SVN: r226476

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ea9dbe11596dc18e4e4c7710f89b6c5f5638e323..c565bfc1b41e8b4a4c9c30fdc9eb1dae15b35b80 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-08-01  Michael Collison  <michael.collison@linaro.org
+           Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>
+
+       * gcc/config/arm/arm.md (*arm_smin_cmp): New pattern.
+       (*arm_umin_cmp): Likewise.
+
 2015-08-01  Caroline Tice  <cmtice@google.com>
 
        PR 66521

diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md
index 128f4acccf0bb9481389be281f40877b9bd726f3..817860dda028929d4351e348f237f43be804f58a 100644 (file)
--- a/gcc/config/arm/arm.md
+++ b/gcc/config/arm/arm.md
@@ -3455,6 +3455,44 @@
    (set_attr "type" "multiple,multiple")]
 )
 
+;; t = (s/u)min (x, y)
+;; cc = cmp (t, z)
+;; is the same as
+;; cmp x, z
+;; cmpge(u) y, z
+
+(define_insn_and_split "*arm_smin_cmp"
+  [(set (reg:CC CC_REGNUM)
+       (compare:CC
+        (smin:SI (match_operand:SI 0 "s_register_operand" "r")
+                 (match_operand:SI 1 "s_register_operand" "r"))
+        (match_operand:SI 2 "s_register_operand" "r")))]
+  "TARGET_32BIT"
+  "#"
+  "&& reload_completed"
+  [(set (reg:CC CC_REGNUM)
+       (compare:CC (match_dup 0) (match_dup 2)))
+   (cond_exec (ge:CC (reg:CC CC_REGNUM) (const_int 0))
+             (set (reg:CC CC_REGNUM)
+                  (compare:CC (match_dup 1) (match_dup 2))))]
+)
+
+(define_insn_and_split "*arm_umin_cmp"
+  [(set (reg:CC CC_REGNUM)
+       (compare:CC
+        (umin:SI (match_operand:SI 0 "s_register_operand" "r")
+                 (match_operand:SI 1 "s_register_operand" "r"))
+        (match_operand:SI 2 "s_register_operand" "r")))]
+  "TARGET_32BIT"
+  "#"
+  "&& reload_completed"
+  [(set (reg:CC CC_REGNUM)
+       (compare:CC (match_dup 0) (match_dup 2)))
+   (cond_exec (geu:CC (reg:CC CC_REGNUM) (const_int 0))
+             (set (reg:CC CC_REGNUM)
+                  (compare:CC (match_dup 1) (match_dup 2))))]
+)
+
 (define_expand "umaxsi3"
   [(parallel [
     (set (match_operand:SI 0 "s_register_operand" "")

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2bbe2a27beeae907ec3ffe51a90ff97d79a88c6d..c018c14f323e1b5584b4b9374af4878733f4f96a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-08-01  Michael Collison  <michael.collison@linaro.org
+           Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>
+
+       * gcc.target/arm/mincmp.c: New test.
+
 2015-08-01  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/67091

diff --git a/gcc/testsuite/gcc.target/arm/mincmp.c b/gcc/testsuite/gcc.target/arm/mincmp.c
new file mode 100644 (file)
index 0000000..ade3bd9
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/mincmp.c
@@ -0,0 +1,20 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+/* { dg-require-effective-target arm32 } */
+
+#define min(x, y) ((x) <= (y)) ? (x) : (y)
+
+unsigned int 
+foo (unsigned int i, unsigned int x, unsigned int y)
+{
+  return i < (min (x, y));
+}
+
+int 
+bar (int i, int x, int y)
+{
+  return i < (min (x, y));
+}
+
+/* { dg-final { scan-assembler "cmpcs" } } */
+/* { dg-final { scan-assembler "cmpge" } } */