From: Oleg Endo <olegendo@gcc.gnu.org>
Date: Mon, 22 Dec 2014 16:19:11 +0000 (+0000)
Subject: re PR target/52933 (SH Target: Use div0s for integer sign comparisons)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=08d54510cc880d0fcfa26263674dd2fc317bcf5d;p=gcc.git

re PR target/52933 (SH Target: Use div0s for integer sign comparisons)

gcc/testsuite/
	PR target/52933
	* gcc.target/sh/sh/pr52933-3.c: New.

From-SVN: r219017
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4da1c195591..600993881b2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2014-12-22  Oleg Endo  <olegendo@gcc.gnu.org>
+
+	PR target/52933
+	* gcc.target/sh/sh/pr52933-3.c: New.
+
 2014-12-22  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gnat.dg/nan_max.adb: New test.
diff --git a/gcc/testsuite/gcc.target/sh/pr52933-3.c b/gcc/testsuite/gcc.target/sh/pr52933-3.c
new file mode 100644
index 00000000000..fadcc9e93cd
--- /dev/null
+++ b/gcc/testsuite/gcc.target/sh/pr52933-3.c
@@ -0,0 +1,28 @@
+/* Check that the div0s instruction is used for integer sign comparisons.  */
+/* { dg-do compile }  */
+/* { dg-options "-O2" } */
+/* { dg-skip-if "" { "sh*-*-*" } { "-m5*" } { "" } } */
+/* { dg-final { scan-assembler-times "div0s" 2 } } */
+
+typedef struct { unsigned int arg[100]; } *FunctionCallInfo;
+typedef struct { int day; int month; } Interval;
+void* palloc (unsigned int);
+int bar (void);
+void baz (void);
+
+void
+interval_pl (FunctionCallInfo fcinfo)
+{
+  Interval *span1 = ((Interval *) ((char *) ((fcinfo->arg[0]))));
+  Interval *span2 = ((Interval *) ((char *) ((fcinfo->arg[1]))));
+  Interval *result = (Interval *) palloc (sizeof (Interval));
+
+  /* Should emit 2x div0s.  */
+  if ((((span1->month) < 0) == ((span2->month) < 0))
+      && !(((result->month) < 0) == ((span1->month) < 0)))
+    do {
+      if (bar ())
+	baz ();
+    } while(0);
+  result->day = span1->day + span2->day;
+}