Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/gcc.dg/vect/vect-over-widen-17.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 1024 | |
9 | |
10 /* This should not be treated as an over-widening pattern, even though | |
11 "(b[i] & 0xef) | 0x80)" could be done in unsigned chars. */ | |
12 | |
13 void __attribute__ ((noipa)) | |
14 f (unsigned short *restrict a, unsigned short *restrict b) | |
15 { | |
16 for (__INTPTR_TYPE__ i = 0; i < N; ++i) | |
17 { | |
18 unsigned short foo = ((b[i] & 0xef) | 0x80) + (a[i] << 4); | |
19 a[i] = foo; | |
20 } | |
21 } | |
22 | |
23 int | |
24 main (void) | |
25 { | |
26 check_vect (); | |
27 | |
28 unsigned short a[N], b[N]; | |
29 for (int i = 0; i < N; ++i) | |
30 { | |
31 a[i] = i; | |
32 b[i] = i * 3; | |
33 asm volatile ("" ::: "memory"); | |
34 } | |
35 f (a, b); | |
36 for (int i = 0; i < N; ++i) | |
37 if (a[i] != ((((i * 3) & 0xef) | 0x80) + (i << 4))) | |
38 __builtin_abort (); | |
39 | |
40 return 0; | |
41 } | |
42 | |
43 /* { dg-final { scan-tree-dump-not {vect_recog_over_widening_pattern: detected} "vect" } } */ | |
44 /* { dg-final { scan-tree-dump-not {vector[^\n]*char} "vect" } } */ | |
45 /* { dg-final { scan-tree-dump-not {vector[^ ]* int} "vect" } } */ | |
46 /* { dg-final { scan-tree-dump-times "vectorized 1 loop" 1 "vect" } } */ |