1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
/* { dg-do compile } */
/* { dg-options "-O3 -fdump-tree-forwprop1-details" } */
/* { dg-additional-options "-msse2" { target i?86-*-* x86_64-*-* } } */
typedef int vec __attribute__((vector_size (4 * sizeof (int))));
void f (vec *p_v_in_1, vec *p_v_in_2, vec *p_v_out_1, vec *p_v_out_2)
{
vec sel0 = { 0, 2, 0, 2 };
vec sel1 = { 1, 3, 1, 3 };
vec sel = { 0, 1, 6, 7 };
vec v_1, v_2, v_x, v_y, v_out_1, v_out_2;
vec v_in_1 = *p_v_in_1;
vec v_in_2 = *p_v_in_2;
/* First vec perm sequence. */
v_1 = __builtin_shuffle (v_in_1, v_in_1, sel0);
v_2 = __builtin_shuffle (v_in_1, v_in_1, sel1);
v_x = v_1 * v_2;
v_y = v_2 - v_1;
v_out_1 = __builtin_shuffle (v_x, v_y, sel);
/* Second vec perm sequence. */
v_1 = __builtin_shuffle (v_in_2, v_in_2, sel0);
v_2 = __builtin_shuffle (v_in_2, v_in_2, sel1);
v_x = v_2 * v_1;
v_y = v_2 - v_1;
v_out_2 = __builtin_shuffle (v_x, v_y, sel);
*p_v_out_1 = v_out_1;
*p_v_out_2 = v_out_2;
}
/* { dg-final { scan-tree-dump "Vec perm simplify sequences have been blended" "forwprop1" { target { aarch64*-*-* i?86-*-* x86_64-*-* } } } } */
/* { dg-final { scan-tree-dump "VEC_PERM_EXPR.*{ 2, 3, 6, 7 }" "forwprop1" { target { aarch64*-*-* i?86-*-* x86_64-*-* } } } } */
|