Re: [PATCH] C++ __builtin_va_arg_pack () testcases

["Richard Guenther" <richard dot guenther at gmail dot com>]

On 9/7/07, Jakub Jelinek <jakub@redhat.com> wrote:
> Hi!
>
> I figured it would be better to test __builtin_va_arg_pack () in C++ as well
> as in C, so that we don't regress on it.
> Ok for trunk?

Yes.  (New testcases are obvious I think)

Richard.

> 2007-09-07  Jakub Jelinek  <jakub@redhat.com>
>
>         * g++.dg/ext/va-arg-pack-1.C: New test.
>         * g++.dg/ext/va-arg-pack-2.C: New test.
>
> --- gcc/testsuite/g++.dg/ext/va-arg-pack-1.C.jj 2007-09-07 08:52:55.000000000 +0200
> +++ gcc/testsuite/g++.dg/ext/va-arg-pack-1.C    2007-09-07 08:53:45.000000000 +0200
> @@ -0,0 +1,145 @@
> +// __builtin_va_arg_pack () builtin tests.
> +// { dg-do run }
> +// { dg-options "-O2" }
> +
> +#include <stdarg.h>
> +
> +extern "C" void abort (void);
> +
> +int v1 = 8;
> +long int v2 = 3;
> +void *v3 = (void *) &v2;
> +struct A { char c[16]; } v4 = { "foo" };
> +long double v5 = 40;
> +char seen[20];
> +int cnt;
> +
> +__attribute__ ((noinline)) int
> +foo1 (int x, int y, ...)
> +{
> +  int i;
> +  long int l;
> +  void *v;
> +  struct A a;
> +  long double ld;
> +  va_list ap;
> +
> +  va_start (ap, y);
> +  if (x < 0 || x >= 20 || seen[x])
> +    abort ();
> +  seen[x] = ++cnt;
> +  if (y != 6)
> +    abort ();
> +  i = va_arg (ap, int);
> +  if (i != 5)
> +    abort ();
> +  switch (x)
> +    {
> +    case 0:
> +      i = va_arg (ap, int);
> +      if (i != 9 || v1 != 9)
> +       abort ();
> +      a = va_arg (ap, struct A);
> +      if (__builtin_memcmp (a.c, v4.c, sizeof (a.c)) != 0)
> +       abort ();
> +      v = (void *) va_arg (ap, struct A *);
> +      if (v != (void *) &v4)
> +       abort ();
> +      l = va_arg (ap, long int);
> +      if (l != 3 || v2 != 4)
> +       abort ();
> +      break;
> +    case 1:
> +      ld = va_arg (ap, long double);
> +      if (ld != 41 || v5 != ld)
> +       abort ();
> +      i = va_arg (ap, int);
> +      if (i != 8)
> +       abort ();
> +      v = va_arg (ap, void *);
> +      if (v != &v2)
> +       abort ();
> +      break;
> +    case 2:
> +      break;
> +    default:
> +      abort ();
> +    }
> +  va_end (ap);
> +  return x;
> +}
> +
> +__attribute__ ((noinline)) int
> +foo2 (int x, int y, ...)
> +{
> +  long long int ll;
> +  void *v;
> +  struct A a, b;
> +  long double ld;
> +  va_list ap;
> +
> +  va_start (ap, y);
> +  if (x < 0 || x >= 20 || seen[x])
> +    abort ();
> +  seen[x] = ++cnt | 64;
> +  if (y != 10)
> +    abort ();
> +  switch (x)
> +    {
> +    case 11:
> +      break;
> +    case 12:
> +      ld = va_arg (ap, long double);
> +      if (ld != 41 || v5 != 40)
> +       abort ();
> +      a = va_arg (ap, struct A);
> +      if (__builtin_memcmp (a.c, v4.c, sizeof (a.c)) != 0)
> +       abort ();
> +      b = va_arg (ap, struct A);
> +      if (__builtin_memcmp (b.c, v4.c, sizeof (b.c)) != 0)
> +       abort ();
> +      v = va_arg (ap, void *);
> +      if (v != &v2)
> +       abort ();
> +      ll = va_arg (ap, long long int);
> +      if (ll != 16LL)
> +       abort ();
> +      break;
> +    case 2:
> +      break;
> +    default:
> +      abort ();
> +    }
> +  va_end (ap);
> +  return x + 8;
> +}
> +
> +__attribute__ ((noinline)) int
> +foo3 (void)
> +{
> +  return 6;
> +}
> +
> +extern inline __attribute__ ((always_inline, gnu_inline)) int
> +bar (int x, ...)
> +{
> +  if (x < 10)
> +    return foo1 (x, foo3 (), 5, __builtin_va_arg_pack ());
> +  return foo2 (x, foo3 () + 4, __builtin_va_arg_pack ());
> +}
> +
> +int
> +main (void)
> +{
> +  if (bar (0, ++v1, v4, &v4, v2++) != 0)
> +    abort ();
> +  if (bar (1, ++v5, 8, v3) != 1)
> +    abort ();
> +  if (bar (2) != 2)
> +    abort ();
> +  if (bar (v1 + 2) != 19)
> +    abort ();
> +  if (bar (v1 + 3, v5--, v4, v4, v3, 16LL) != 20)
> +    abort ();
> +  return 0;
> +}
> --- gcc/testsuite/g++.dg/ext/va-arg-pack-2.C.jj 2007-09-07 08:53:23.000000000 +0200
> +++ gcc/testsuite/g++.dg/ext/va-arg-pack-2.C    2007-09-07 08:54:25.000000000 +0200
> @@ -0,0 +1,46 @@
> +// { dg-do compile }
> +// { dg-options "-O2" }
> +
> +int bar (int, const char *, int, ...);
> +int baz (int, const char *, long int);
> +
> +extern inline __attribute__((always_inline)) int
> +f2 (int y, ...)
> +{
> +  return bar (y, "", __builtin_va_arg_pack ());                /* { dg-error "invalid use of" } */
> +}
> +
> +extern inline __attribute__((always_inline)) int
> +f3 (int y, ...)
> +{
> +  return bar (y, "", 5, __builtin_va_arg_pack ());
> +}
> +
> +extern inline __attribute__((always_inline)) int
> +f4 (int y, ...)
> +{
> +  return bar (y, "", 4, __builtin_va_arg_pack (), 6);  /* { dg-error "invalid use of" } */
> +}
> +
> +extern inline __attribute__((always_inline)) int
> +f5 (int y, ...)
> +{
> +  return baz (y, "", __builtin_va_arg_pack ());                /* { dg-error "invalid use of" } */
> +}
> +
> +extern inline __attribute__((always_inline)) int
> +f6 (int y, ...)
> +{
> +  return __builtin_va_arg_pack ();                     /* { dg-error "invalid use of" } */
> +}
> +
> +int
> +test (void)
> +{
> +  int a = f2 (5, "a", 6);
> +  a += f3 (6, "ab", 17LL);
> +  a += f4 (7, 1, 2, 3);
> +  a += f5 (8, 7L);
> +  a += f6 (9);
> +  return a;
> +}
>
>         Jakub
>