Re: [PATCH,SH] 64-bit integer comparison is incorrect

[Christian BRUEL <christian dot bruel at st dot com>]

sorry, here it is:

2008-04-17  Christian Bruel  <christian.bruel@st.com>

	* gcc.dg/long-long-compare-1.c: New testcase.

Regards

Christian

Kaz Kojima wrote:
> Christian BRUEL <christian.bruel@st.com> wrote:
>
> > committed. testcase rewritten for coding conventions.
>
>
> Thanks!  Could you please send the committed testcase with its
> ChangeLog entry to this list for the record?
>
> Regards,
> 	kaz

/* Problem only noticed on SH for -mcbranchdi DImode comparison with constants.
 * Target dependant failure but test valid for alls.  */
/* { dg-do run } */
/* { dg-options "-O0" } */
/* { dg-options "-O0 -mcbranchdi" { target sh4-*-* } } */

extern void abort(void);
extern void exit(int);

int test2(long long n)
{
  if (n < 2)
    return 1;
  return 0;
}

int test1(long long n)
{
  if (n < 1)
    return 1;
  return 0;
}

int test0(long long n)
{
  if (n < 0)
    return 1;
  return 0;
}

int test1n(long long n)
{
  if (n < -1LL)
    return 1;
  return 0;
}

int test2n(long long n)
{
  if (n < -2LL)
    return 1;
  return 0;
}

int main()
{
  if (test2n (-1LL))
    abort ();

  if (test2n (-2LL))
    abort ();

  if (test2n (0LL))
    abort ();

  if (test2n (1LL))
    abort ();

  if (test2n (2LL))
    abort ();
 
  if (test1n (-1LL))
    abort ();

  if (!test1n (-2LL))
    abort ();

  if (test1n (0LL))
    abort ();

  if (test1n (1LL))
    abort ();

  if (test1n (2LL))
    abort ();

  if (!test0 (-1LL))
    abort ();

  if (!test0 (-2LL))
    abort ();

  if (test0 (0LL))
    abort ();

  if (test0 (1LL))
    abort ();

  if (test0 (2LL))
    abort ();

  if (!test2 (-1LL))
    abort ();

  if (!test2 (-2LL))
    abort ();

  if (!test2 (0LL))
    abort ();

  if (!test2 (1LL))
    abort ();

  if (test2 (2LL))
    abort ();

  if (!test1 (-1LL))
    abort ();

  if (!test1 (-2LL))
    abort ();

  if (!test1 (0LL))
    abort ();

  if (test1 (1LL))
    abort ();

  if (test1 (2LL))
    abort ();

  exit (0);
}