1 /* { dg-do run { target powerpc*-*-* } { xfail powerpc-ibm-aix* } } */
2 /* { dg-options "-maltivec" } */
4 /* Test for correct handling of AltiVec constants passed
5 through '...' (va_arg). */
12 #include "altivec_check.h"
14 #define CHECK_INVARIANT(expr) \
16 printf ("ASSERT FAILED: %d: %s\n", __LINE__, #expr); \
20 struct foo { int x; int y; };
21 struct vfoo { int x; __vector signed int v; int y; };
22 union u { __vector signed int v; signed int i[4]; };
24 struct foo x_g = { 3, 4};
25 struct vfoo vx_g = { 10, (vector signed int) {11, 12, 13, 14}, 15 };
26 __vector signed int v_g = (vector signed int) {22, 23, 24, 25};
27 struct vfoo vx2_g = { 30, (vector signed int) {31, 32, 33, 34}, 35 };
28 __vector signed int v2_g = (vector signed int) {40, 41, 42, 43};
29 int i_1 = 99, i_2 = 33;
30 double d_2 = 1.5, d_3 = 1.75;
33 void bar (int i, ... )
43 xi = va_arg(ap, struct foo);
44 s = (short)va_arg(ap, int);
45 f = (float)va_arg(ap, double);
46 ld = va_arg(ap, double);
47 c = (char)va_arg(ap, int);
48 d = va_arg(ap, double);
51 CHECK_INVARIANT (xi.x == x_g.x && xi.y == x_g.y);
52 CHECK_INVARIANT (s == (short)i_2);
53 CHECK_INVARIANT (f == (float)d_2);
54 CHECK_INVARIANT (ld == ld_1);
55 CHECK_INVARIANT (c == (char)i_1);
56 CHECK_INVARIANT (d == d_3);
59 void baz (int i, ... )
62 __vector signed int v_i, v2_i;
66 v_i = va_arg(ap, __vector signed int);
68 vx = va_arg(ap, struct vfoo);
70 v2_i = va_arg(ap, __vector signed int);
72 vx2 = va_arg(ap, struct vfoo);
75 CHECK_INVARIANT (vec_all_eq (v_i, v_g));
76 CHECK_INVARIANT (j == i_1);
77 CHECK_INVARIANT (vx.x == vx_g.x && vec_all_eq(vx.v, vx_g.v) && vx.y == vx_g.y);
78 CHECK_INVARIANT (k == i_1);
79 CHECK_INVARIANT (vec_all_eq (v2_i, v2_g));
80 CHECK_INVARIANT (l == i_1);
81 CHECK_INVARIANT (vx2.x == vx2_g.x && vec_all_eq(vx2.v, vx2_g.v) && vx2.y == vx2_g.y);
84 void quux (int i, ... )
86 __vector signed int v_i, v2_i;
90 v_i = va_arg(ap, __vector signed int);
91 v2_i = va_arg(ap, __vector signed int);
96 CHECK_INVARIANT (vec_all_eq (v_i, v_g));
97 CHECK_INVARIANT (vec_all_eq (v2_i, v_g));
98 CHECK_INVARIANT (vec_all_eq (vi.v, v_g));
99 CHECK_INVARIANT (vec_all_eq (v2i.v, v_g));
102 void baz2 (int i, ... )
108 vx = va_arg(ap, struct vfoo);
112 CHECK_INVARIANT (vx.x == vx_g.x && vec_all_eq(vx.v, vx_g.v) && vx.y == vx_g.y);
113 CHECK_INVARIANT (vec_all_eq (vxi.v, vx_g.v));
118 CHECK_INVARIANT (sizeof(struct foo) == 8 && sizeof(struct vfoo) == 48);
122 bar(i_1, x_g, (short)i_2, (float)d_2, ld_1, (char)i_1, d_3);
123 baz(i_1, v_g, i_1, vx_g, i_1, v2_g, i_1, vx2_g);