annotate gcc/testsuite/gcc.dg/vshift-7.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-O1 -Wshift-count-negative -Wshift-count-overflow" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 typedef unsigned int v1qi_t __attribute__((mode(QI), vector_size(1)));
kono
parents:
diff changeset
5 typedef unsigned int v1hi_t __attribute__((mode(HI), vector_size(2)));
kono
parents:
diff changeset
6 typedef unsigned int v1si_t __attribute__((mode(SI), vector_size(4)));
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 static const signed shift_neg = -1;
kono
parents:
diff changeset
9 static const unsigned shift_qi = 8;
kono
parents:
diff changeset
10 static const unsigned shift_hi = 16;
kono
parents:
diff changeset
11 static const unsigned shift_si = 32;
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 v1qi_t test1qi(v1qi_t x, int c) {
kono
parents:
diff changeset
14 switch(c) {
kono
parents:
diff changeset
15 case 0: return x << shift_neg; /* { dg-warning "shift count is negative" } */
kono
parents:
diff changeset
16 case 1: return x << (shift_qi - 1);
kono
parents:
diff changeset
17 case 2: return x << shift_qi; /* { dg-warning "shift count >= width" } */
kono
parents:
diff changeset
18 case ~0: return x >> shift_neg; /* { dg-warning "shift count is negative" } */
kono
parents:
diff changeset
19 case ~1: return x >> (shift_qi - 1);
kono
parents:
diff changeset
20 case ~2: return x >> shift_qi; /* { dg-warning "shift count >= width" } */
kono
parents:
diff changeset
21 }
kono
parents:
diff changeset
22 return c < 0 ? x >> -c : x << c;
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 v1hi_t test1hi(v1hi_t x, int c) {
kono
parents:
diff changeset
26 switch(c) {
kono
parents:
diff changeset
27 case 0: return x << shift_neg; /* { dg-warning "shift count is negative" } */
kono
parents:
diff changeset
28 case 1: return x << (shift_hi - 1);
kono
parents:
diff changeset
29 case 2: return x << shift_hi; /* { dg-warning "shift count >= width" } */
kono
parents:
diff changeset
30 case ~0: return x >> shift_neg; /* { dg-warning "shift count is negative" } */
kono
parents:
diff changeset
31 case ~1: return x >> (shift_hi - 1);
kono
parents:
diff changeset
32 case ~2: return x >> shift_hi; /* { dg-warning "shift count >= width" } */
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34 return c < 0 ? x >> -c : x << c;
kono
parents:
diff changeset
35 }
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 v1si_t test1si(v1si_t x, int c) {
kono
parents:
diff changeset
38 switch(c) {
kono
parents:
diff changeset
39 case 0: return x << shift_neg; /* { dg-warning "shift count is negative" } */
kono
parents:
diff changeset
40 case 1: return x << (shift_si - 1);
kono
parents:
diff changeset
41 case 2: return x << shift_si; /* { dg-warning "shift count >= width" } */
kono
parents:
diff changeset
42 case ~0: return x >> shift_neg; /* { dg-warning "shift count is negative" } */
kono
parents:
diff changeset
43 case ~1: return x >> (shift_si - 1);
kono
parents:
diff changeset
44 case ~2: return x >> shift_si; /* { dg-warning "shift count >= width" } */
kono
parents:
diff changeset
45 }
kono
parents:
diff changeset
46 return c < 0 ? x >> -c : x << c;
kono
parents:
diff changeset
47 }