1/* { dg-do compile { target { powerpc*-*-* } } } */
2/* { dg-skip-if "" { powerpc*-*-darwin* } { "*" } { "" } } */
3/* { dg-require-effective-target powerpc_vsx_ok } */
4/* { dg-options "-O2 -mcpu=power7" } */
5/* { dg-final { scan-assembler "xvadddp" } } */
6/* { dg-final { scan-assembler "xvsubdp" } } */
7/* { dg-final { scan-assembler "xvmuldp" } } */
8/* { dg-final { scan-assembler "xvmadd" } } */
9/* { dg-final { scan-assembler "xvmsub" } } */
10/* { dg-final { scan-assembler "xvnmadd" } } */
11/* { dg-final { scan-assembler "xvnmsub" } } */
12/* { dg-final { scan-assembler "xvdivdp" } } */
13/* { dg-final { scan-assembler "xvmaxdp" } } */
14/* { dg-final { scan-assembler "xvmindp" } } */
15/* { dg-final { scan-assembler "xvsqrtdp" } } */
16/* { dg-final { scan-assembler "xvrsqrtedp" } } */
17/* { dg-final { scan-assembler "xvabsdp" } } */
18/* { dg-final { scan-assembler "xvnabsdp" } } */
19/* { dg-final { scan-assembler "xvredp" } } */
20
21void use_builtins (__vector double *p, __vector double *q, __vector double *r, __vector double *s)
22{
23  p[0] = __builtin_vsx_xvadddp (q[0], r[0]);
24  p[1] = __builtin_vsx_xvsubdp (q[1], r[1]);
25  p[2] = __builtin_vsx_xvmuldp (q[2], r[2]);
26  p[3] = __builtin_vsx_xvdivdp (q[3], r[3]);
27  p[4] = __builtin_vsx_xvmaxdp (q[4], r[4]);
28  p[5] = __builtin_vsx_xvmindp (q[5], r[5]);
29  p[6] = __builtin_vsx_xvabsdp (q[6]);
30  p[7] = __builtin_vsx_xvnabsdp (q[7]);
31  p[8] = __builtin_vsx_xvsqrtdp (q[8]);
32  p[9] = __builtin_vsx_xvmadddp (q[9], r[9], s[9]);
33  p[10] = __builtin_vsx_xvmsubdp (q[10], r[10], s[10]);
34  p[11] = __builtin_vsx_xvnmadddp (q[11], r[11], s[11]);
35  p[12] = __builtin_vsx_xvnmsubdp (q[12], r[12], s[12]);
36  p[13] = __builtin_vsx_xvredp (q[13]);
37  p[14] = __builtin_vsx_xvrsqrtedp (q[14]);
38}
39