gcc/testsuite/gcc.dg/vshift-6.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Wshift-count-negative -Wshift-count-overflow" } */
   3
   4 typedef unsigned int v1qi_t __attribute__((mode(QI), vector_size(1)));
   5 typedef unsigned int v1hi_t __attribute__((mode(HI), vector_size(2)));
   6 typedef unsigned int v1si_t __attribute__((mode(SI), vector_size(4)));
   7
   8 v1qi_t test1qi(v1qi_t x, int c) {
   9         switch(c) {
  10         case 0: return x << -1; /* { dg-warning "shift count is negative" } */
  11         case 1: return x << 7;
  12         case 2: return x << 8; /* { dg-warning "shift count >= width" } */
  13         case ~0: return x >> -1; /* { dg-warning "shift count is negative" } */
  14         case ~1: return x >> 7;
  15         case ~2: return x >> 8; /* { dg-warning "shift count >= width" } */
  16         }
  17         return c < 0 ? x >> -c : x << c;
  18 }
  19
  20 v1hi_t test1hi(v1hi_t x, int c) {
  21         switch(c) {
  22         case 0: return x << -1; /* { dg-warning "shift count is negative" } */
  23         case 1: return x << 15;
  24         case 2: return x << 16; /* { dg-warning "shift count >= width" } */
  25         case ~0: return x >> -1; /* { dg-warning "shift count is negative" } */
  26         case ~1: return x >> 15;
  27         case ~2: return x >> 16; /* { dg-warning "shift count >= width" } */
  28         }
  29         return c < 0 ? x >> -c : x << c;
  30 }
  31
  32 v1si_t test1si(v1si_t x, int c) {
  33         switch(c) {
  34         case 0: return x << -1; /* { dg-warning "shift count is negative" } */
  35         case 1: return x << 31;
  36         case 2: return x << 32; /* { dg-warning "shift count >= width" } */
  37         case ~0: return x >> -1; /* { dg-warning "shift count is negative" } */
  38         case ~1: return x >> 31;
  39         case ~2: return x >> 32; /* { dg-warning "shift count >= width" } */
  40         }
  41         return c < 0 ? x >> -c : x << c;
  42 }