Mercurial > hg > CbC > CbC_gcc

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 1024
9
10 /* This should be treated as an over-widening pattern: we can truncate
11 b to unsigned char after loading it and do all the computation in
12 unsigned char. */
13
14 void __attribute__ ((noipa))
15 f (unsigned char *restrict a, unsigned short *restrict b)
16 {
17 for (__INTPTR_TYPE__ i = 0; i < N; ++i)
18 {
19 unsigned short foo = ((b[i] & 0xef) | 0x80) + (a[i] << 4);
20 a[i] = foo;
21 }
22 }
23
24 int
25 main (void)
26 {
27 check_vect ();
28
29 unsigned char a[N];
30 unsigned short b[N];
31 for (int i = 0; i < N; ++i)
32 {
33 a[i] = i;
34 b[i] = i * 3;
35 asm volatile ("" ::: "memory");
36 }
37 f (a, b);
38 for (int i = 0; i < N; ++i)
39 if (a[i] != (unsigned char) ((((i * 3) & 0xef) | 0x80) + (i << 4)))
40 __builtin_abort ();
41
42 return 0;
43 }
44
45 /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* &} "vect" } } */
46 /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* |} "vect" } } */
47 /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* <<} "vect" } } */
48 /* { dg-final { scan-tree-dump {vector[^\n]*char} "vect" } } */
49 /* { dg-final { scan-tree-dump-not {vector[^ ]* int} "vect" } } */
50 /* { dg-final { scan-tree-dump-times "vectorized 1 loop" 1 "vect" } } */