Subversion Repositories openrisc

/* Two of these types will, on current gcc targets, have the same

/* Two of these types will, on current gcc targets, have the same

   mode but have different alias sets.  DOIT tries to get gcse to

   mode but have different alias sets.  DOIT tries to get gcse to

   invalidly hoist one of the values out of the loop.  */

   invalidly hoist one of the values out of the loop.  */

typedef int T0;

typedef int T0;

typedef long T1;

typedef long T1;

typedef long long T2;

typedef long long T2;

int

int

doit(int sel, int n, void *p)

doit(int sel, int n, void *p)

{

{

  T0 * const p0 = p;

  T0 * const p0 = p;

  T1 * const p1 = p;

  T1 * const p1 = p;

  T2 * const p2 = p;

  T2 * const p2 = p;

  switch (sel)

  switch (sel)

    {

    {

    case 0:

    case 0:

      do

      do

        *p0 += *p0;

        *p0 += *p0;

      while (--n);

      while (--n);

      return *p0 == 0;

      return *p0 == 0;

    case 1:

    case 1:

      do

      do

        *p1 += *p1;

        *p1 += *p1;

      while (--n);

      while (--n);

      return *p1 == 0;

      return *p1 == 0;

    case 2:

    case 2:

      do

      do

        *p2 += *p2;

        *p2 += *p2;

      while (--n);

      while (--n);

      return *p2 == 0;

      return *p2 == 0;

    default:

    default:

      abort ();

      abort ();

    }

    }

}

}

int

int

main()

main()

{

{

  T0 v0; T1 v1; T2 v2;

  T0 v0; T1 v1; T2 v2;

  v0 = 1; doit(0, 5, &v0);

  v0 = 1; doit(0, 5, &v0);

  v1 = 1; doit(1, 5, &v1);

  v1 = 1; doit(1, 5, &v1);

  v2 = 1; doit(2, 5, &v2);

  v2 = 1; doit(2, 5, &v2);

  if (v0 != 32) abort ();

  if (v0 != 32) abort ();

  if (v1 != 32) abort ();

  if (v1 != 32) abort ();

  if (v2 != 32) abort ();

  if (v2 != 32) abort ();

  exit (0);

  exit (0);

}

}