comparison gcc/testsuite/gcc.dg/vect/vect-over-widen-22.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
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 } */
5
6 #include "tree-vect.h"
7
8 #define N 111
9
10 /* The addition should be narrowed to short. */
11
12 void __attribute__ ((noipa))
13 f (unsigned int *restrict a, unsigned int *restrict b,
14 unsigned short *restrict c, unsigned char *restrict d, unsigned int e)
15 {
16 e &= 0xff;
17 for (__INTPTR_TYPE__ i = 0; i < N; ++i)
18 {
19 unsigned int xor = d[i] ^ e;
20 a[i] = c[i] | xor;
21 b[i] = xor;
22 }
23 }
24
25 int
26 main (void)
27 {
28 check_vect ();
29
30 unsigned int a[N], b[N];
31 unsigned short c[N];
32 unsigned char d[N];
33 for (int i = 0; i < N; ++i)
34 {
35 c[i] = i * 11;
36 d[i] = i * 2 + 3;
37 asm volatile ("" ::: "memory");
38 }
39 f (a, b, c, d, 0x73);
40 for (int i = 0; i < N; ++i)
41 if (b[i] != ((i * 2 + 3) ^ 0x73)
42 || a[i] != ((i * 11) | b[i]))
43 __builtin_abort ();
44
45 return 0;
46 }
47
48 /* { dg-final { scan-tree-dump {Splitting pattern statement} "vect" } } */
49 /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* \^} "vect" } } */
50 /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* \|} "vect" } } */
51 /* { dg-final { scan-tree-dump {demoting [^\n]* to [^\n]*char} "vect" } } */
52 /* { dg-final { scan-tree-dump {demoting [^\n]* to [^\n]*short} "vect" } } */
53 /* { dg-final { scan-tree-dump-times "vectorized 1 loop" 1 "vect" } } */