From 08d54510cc880d0fcfa26263674dd2fc317bcf5d Mon Sep 17 00:00:00 2001 From: Oleg Endo Date: Mon, 22 Dec 2014 16:19:11 +0000 Subject: [PATCH] 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 --- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.target/sh/pr52933-3.c | 28 +++++++++++++++++++++++++ 2 files changed, 33 insertions(+) create mode 100644 gcc/testsuite/gcc.target/sh/pr52933-3.c 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 + + PR target/52933 + * gcc.target/sh/sh/pr52933-3.c: New. + 2014-12-22 Eric Botcazou * 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; +} -- 2.30.2