1 /* { dg-do compile } */
2 /* { dg-options "-mvis3" } */
3 typedef int __v2si __attribute__((vector_size(8)));
4 typedef int __v1si __attribute__((vector_size(4)));
5 typedef short __v4hi __attribute__((vector_size(8)));
6 typedef short __v2hi __attribute__((vector_size(4)));
7 
test_fpadds16(__v4hi x,__v4hi y)8 __v4hi test_fpadds16 (__v4hi x, __v4hi y)
9 {
10   return __builtin_vis_fpadds16 (x, y);
11 }
12 
test_fpadds16s(__v2hi x,__v2hi y)13 __v2hi test_fpadds16s (__v2hi x, __v2hi y)
14 {
15   return __builtin_vis_fpadds16s (x, y);
16 }
17 
test_fpsubs16(__v4hi x,__v4hi y)18 __v4hi test_fpsubs16 (__v4hi x, __v4hi y)
19 {
20   return __builtin_vis_fpsubs16 (x, y);
21 }
22 
test_fpsubs16s(__v2hi x,__v2hi y)23 __v2hi test_fpsubs16s (__v2hi x, __v2hi y)
24 {
25   return __builtin_vis_fpsubs16s (x, y);
26 }
27 
test_fpadds32(__v2si x,__v2si y)28 __v2si test_fpadds32 (__v2si x, __v2si y)
29 {
30   return __builtin_vis_fpadds32 (x, y);
31 }
32 
test_fpadds32s(__v1si x,__v1si y)33 __v1si test_fpadds32s (__v1si x, __v1si y)
34 {
35   return __builtin_vis_fpadds32s (x, y);
36 }
37 
test_fpsubs32(__v2si x,__v2si y)38 __v2si test_fpsubs32 (__v2si x, __v2si y)
39 {
40   return __builtin_vis_fpsubs32 (x, y);
41 }
42 
test_fpsubs32s(__v1si x,__v1si y)43 __v1si test_fpsubs32s (__v1si x, __v1si y)
44 {
45   return __builtin_vis_fpsubs32s (x, y);
46 }
47 
48 /* { dg-final { scan-assembler "fpadds16\t%" } } */
49 /* { dg-final { scan-assembler "fpadds16s\t%" } } */
50 /* { dg-final { scan-assembler "fpsubs16\t%" } } */
51 /* { dg-final { scan-assembler "fpsubs16s\t%" } } */
52 /* { dg-final { scan-assembler "fpadds32\t%" } } */
53 /* { dg-final { scan-assembler "fpadds32s\t%" } } */
54 /* { dg-final { scan-assembler "fpsubs32\t%" } } */
55 /* { dg-final { scan-assembler "fpsubs32s\t%" } } */
56