1/* { dg-do compile } */
2/* { dg-options "-O -mcpu=ultrasparc -mvis" } */
3typedef char  vec8 __attribute__((vector_size(8)));
4typedef short vec16 __attribute__((vector_size(8)));
5typedef int   vec32 __attribute__((vector_size(8)));
6
7extern vec8 foo1_8(void);
8extern vec8 foo2_8(void);
9
10vec8 fun8(void)
11{
12  return ~foo1_8 () | foo2_8 ();
13}
14
15vec8 fun8_2(vec8 a, vec8 b)
16{
17  return ~a | b;
18}
19
20extern vec16 foo1_16(void);
21extern vec16 foo2_16(void);
22
23vec16 fun16(void)
24{
25  return ~foo1_16 () | foo2_16 ();
26}
27
28vec16 fun16_2(vec16 a, vec16 b)
29{
30  return ~a | b;
31}
32
33extern vec32 foo1_32(void);
34extern vec32 foo2_32(void);
35
36vec32 fun32(void)
37{
38  return ~foo1_32 () | foo2_32 ();
39}
40
41vec32 fun32_2(vec32 a, vec32 b)
42{
43  return ~a | b;
44}
45
46/* This should be transformed into ~b | a.  */
47vec8 fun8b(void)
48{
49  return foo1_8 () | ~foo2_8 ();
50}
51
52vec8 fun8_2b(vec8 a, vec8 b)
53{
54  return a | ~b;
55}
56
57vec16 fun16b(void)
58{
59  return foo1_16 () | ~foo2_16 ();
60}
61
62vec16 fun16_2b(vec16 a, vec16 b)
63{
64  return a | ~b;
65}
66
67vec32 fun32b(void)
68{
69  return foo1_32 () | ~foo2_32 ();
70}
71
72vec32 fun32_2b(vec32 a, vec32 b)
73{
74  return a | ~b;
75}
76
77/* { dg-final { scan-assembler-times "fornot1\t%" 12 } } */
78