1 /* { dg-require-effective-target vect_int } */
2 /* { dg-require-effective-target vect_shift } */
3 /* { dg-require-effective-target vect_pack_trunc } */
4 /* { dg-require-effective-target vect_unpack } */
9 #define SIGNEDNESS signed
17 /* Both range analysis and backward propagation from the truncation show
18 that these calculations can be done in SIGNEDNESS short. */
19 void __attribute__ ((noipa
))
20 f (SIGNEDNESS
char *restrict a
, SIGNEDNESS
char *restrict b
,
21 SIGNEDNESS
char *restrict c
, SIGNEDNESS
char d
)
24 for (int i
= 0; i
< N
; ++i
)
25 /* Deliberate use of signed >>. */
26 a
[i
] = (b
[i
] + c
[i
] + promoted_d
) >> 2;
34 SIGNEDNESS
char a
[N
], b
[N
], c
[N
];
35 for (int i
= 0; i
< N
; ++i
)
37 b
[i
] = BASE_B
+ i
* 5;
38 c
[i
] = BASE_C
+ i
* 4;
39 asm volatile ("" ::: "memory");
43 for (int i
= 0; i
< N
; ++i
)
44 if (a
[i
] != (BASE_B
+ BASE_C
+ D
+ i
* 9) >> 2)
50 /* { dg-final { scan-tree-dump {Splitting statement} "vect" } } */
51 /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* \+ } "vect" } } */
52 /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* >> 2} "vect" } } */
53 /* { dg-final { scan-tree-dump {vect_recog_cast_forwprop_pattern: detected:[^\n]* \(signed char\)} "vect" } } */
54 /* { dg-final { scan-tree-dump-not {vector[^ ]* int} "vect" } } */
55 /* { dg-final { scan-tree-dump-times "vectorized 1 loop" 1 "vect" } } */