Hi,
This adds another test case for the SH div0s insn utilization.
Tested with
make -k check-gcc RUNTESTFLAGS="sh.exp=pr52933* --target_board=sh-sim
\{-m2/-ml,-m2/-mb,-m2a/-mb,-m4/-ml,-m4/-mb,-m4a/-ml,-m4a/-mb}"
Committed as r219017.
Cheers,
Oleg
gcc/testsuite/ChangeLog:
PR target/52933
* gcc.target/sh/sh/pr52933-3.c: New.
Index: gcc/testsuite/gcc.target/sh/pr52933-3.c
===================================================================
--- gcc/testsuite/gcc.target/sh/pr52933-3.c (revision 0)
+++ gcc/testsuite/gcc.target/sh/pr52933-3.c (revision 0)
@@ -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;
+}