1 /* { dg-do run } */
2 /* { dg-require-effective-target s390_vx } */
3 /* { dg-options "-O3 -mzarch -march=arch13 -mzvector -std=gnu99 --save-temps" } */
4
5 #include <vecintrin.h>
6
7 /* The initial implementation of vec_sel used an IF_THEN_ELSE rtx.
8 This did NOT match what the vsel instruction does. vsel is a
9 bit-wise operation. Using IF_THEN_ELSE made the + operation to be
10 simplified away in combine. A plus operation affects other bits in
11 the same element. Hence per-element simplifications are wrong for
12 vsel. */
13 vector unsigned char __attribute__((noinline))
foo(vector unsigned char a,vector unsigned char b,vector unsigned char c)14 foo (vector unsigned char a, vector unsigned char b, vector unsigned char c)
15 {
16 return vec_sel (a + b, c, a);
17 }
18
19 /* FIXME: The OR operation still should be optimized away in that case. */
20 vector unsigned char __attribute__((noinline))
bar(vector unsigned char a,vector unsigned char b,vector unsigned char c)21 bar (vector unsigned char a, vector unsigned char b, vector unsigned char c)
22 {
23 return vec_sel (a | b, c, a);
24 }
25
26 int
main()27 main ()
28 {
29 vector unsigned char v = (vector unsigned char){ 1 };
30
31 if (foo (v, v, v)[0] != 3)
32 __builtin_abort ();
33
34 if (bar (v, v, v)[0] != 1)
35 __builtin_abort ();
36
37 return 0;
38 }
39