annotate gcc/testsuite/gcc.dg/tree-ssa/forwprop-20.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-require-effective-target double64 } */
kono
parents:
diff changeset
3 /* { dg-options "-O -fdump-tree-forwprop1" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 #include <stdint.h>
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 /* All of these optimizations happen for unsupported vector modes as a
kono
parents:
diff changeset
8 consequence of the lowering pass. We need to test with a vector mode
kono
parents:
diff changeset
9 that is supported by default on at least some architectures, or make
kono
parents:
diff changeset
10 the test target specific so we can pass a flag like -mavx. */
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 typedef double vecf __attribute__ ((vector_size (2 * sizeof (double))));
kono
parents:
diff changeset
13 typedef int64_t veci __attribute__ ((vector_size (2 * sizeof (int64_t))));
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 void f (double d, vecf* r)
kono
parents:
diff changeset
16 {
kono
parents:
diff changeset
17 vecf x = { -d, 5 };
kono
parents:
diff changeset
18 vecf y = { 1, 4 };
kono
parents:
diff changeset
19 veci m = { 2, 0 };
kono
parents:
diff changeset
20 *r = __builtin_shuffle (x, y, m); // { 1, -d }
kono
parents:
diff changeset
21 }
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 void g (float d, vecf* r)
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 vecf x = { d, 5 };
kono
parents:
diff changeset
26 vecf y = { 1, 4 };
kono
parents:
diff changeset
27 veci m = { 2, 1 };
kono
parents:
diff changeset
28 *r = __builtin_shuffle (x, y, m); // { 1, 5 }
kono
parents:
diff changeset
29 }
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 void h (double d, vecf* r)
kono
parents:
diff changeset
32 {
kono
parents:
diff changeset
33 vecf x = { d + 1, 5 };
kono
parents:
diff changeset
34 vecf y = { 1 , 4 };
kono
parents:
diff changeset
35 veci m = { 2 , 0 };
kono
parents:
diff changeset
36 *r = __builtin_shuffle (y, x, m); // { d + 1, 1 }
kono
parents:
diff changeset
37 }
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 void i (float d, vecf* r)
kono
parents:
diff changeset
40 {
kono
parents:
diff changeset
41 vecf x = { d, 5 };
kono
parents:
diff changeset
42 veci m = { 1, 0 };
kono
parents:
diff changeset
43 *r = __builtin_shuffle (x, m); // { 5, d }
kono
parents:
diff changeset
44 }
kono
parents:
diff changeset
45
kono
parents:
diff changeset
46 void j (vecf* r)
kono
parents:
diff changeset
47 {
kono
parents:
diff changeset
48 vecf y = { 1, 2 };
kono
parents:
diff changeset
49 veci m = { 0, 0 };
kono
parents:
diff changeset
50 *r = __builtin_shuffle (y, m); // { 1, 1 }
kono
parents:
diff changeset
51 }
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 void k (vecf* r)
kono
parents:
diff changeset
54 {
kono
parents:
diff changeset
55 vecf x = { 3, 4 };
kono
parents:
diff changeset
56 vecf y = { 1, 2 };
kono
parents:
diff changeset
57 veci m = { 3, 0 };
kono
parents:
diff changeset
58 *r = __builtin_shuffle (x, y, m); // { 2, 3 }
kono
parents:
diff changeset
59 }
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 void l (double d, vecf* r)
kono
parents:
diff changeset
62 {
kono
parents:
diff changeset
63 vecf x = { -d, 5 };
kono
parents:
diff changeset
64 vecf y = { d, 4 };
kono
parents:
diff changeset
65 veci m = { 2, 0 };
kono
parents:
diff changeset
66 *r = __builtin_shuffle (x, y, m); // { d, -d }
kono
parents:
diff changeset
67 }
kono
parents:
diff changeset
68
kono
parents:
diff changeset
69 /* { dg-final { scan-tree-dump-not "VEC_PERM_EXPR" "forwprop1" } } */