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
This commit is contained in:
Oleg Endo 2014-12-22 16:19:11 +00:00
parent 8dff34fe8e
commit 08d54510cc
2 changed files with 33 additions and 0 deletions

View File

@ -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.

View File

@ -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;
}